#javascript #algorithm #algebra
#JavaScript #Алгоритм #Алгебра
Вопрос:
Кто-нибудь знает библиотеку или алгоритм (желательно на JavaScript), который может сравнивать два алгебраических предиката и сообщать мне, является ли…
одно могло бы решить другое, например.
a := ((x 10) < 100) amp;amp; y == 20
b := y < 30
или они взаимоисключающие друг друга, например.
a := x > 10
b := y < 30
или противоречат друг другу, например.
a := x > 10
b := x < 10
Большое спасибо
отказ от ответственности: моя алгебра ржавая, поэтому извиняюсь, если терминология неверна!
Комментарии:
1. Должны ли a, b быть числами (как в «a : = x 10») или логическим значением true / false (как в «a : = x> 10»)?
2. хорошее место, исправит. В этом случае все они должны вычисляться как логические значения, но внутри может быть вложенная арифметика..
3. Я думаю, что «ортогональный» или «независимый» — лучшее описание здесь, чем «взаимоисключающий». Последнее больше похоже на ваше более позднее «противоречие».
4. Спасибо за разъяснение, отметил! Но независимость не подразумевает противоречия, хотя я все же хочу провести различие между этими двумя случаями
5. @ComethTheNerd правильно. Возможно, дело в том, что было бы (немного) понятнее, если бы ваши случаи назывались «содержащимися», «независимыми» и «противоречащими».