Какие математические приемы используются в логическом программировании?

В логическом программировании используются различные математические приёмы, в том числе логические операции. umschool.net www.yaklass.ru Некоторые из них:

• Конъюнкция (логическое «и»). umschool.net Оператор проверяет, чтобы все функции в выражении были истинными. umschool.net Работает по принципу умножения: если хоть один элемент равен нулю, то всё произведение равно нулю. umschool.net
• Дизъюнкция (логическое «или»). umschool.net Оператор проверяет, что хотя бы один элемент из выражения истинный. umschool.net По способу работы похож на сложение: если среди элементов есть единица, то всё выражение будет истинным. umschool.net
• Отрицание. umschool.net Логический оператор, который меняет значение элемента на противоположное, то есть меняет истину на ложь, и наоборот. umschool.net
• Импликация (следование). umschool.net Логический оператор, который превращает выражение в ложное только в случае, когда из истины следует ложь. umschool.net
• Эквивалентность (логическая равнозначность). www.yaklass.ru Логический оператор, проверяющий, чтобы оба элемента были либо ложными, либо истинными. umschool.net То есть если первый элемент равен второму, то выражение будет истинным. umschool.net
• Исключающее «или» (операция XOR; сложение по модулю 2). www.yaklass.ru Выражение истинно, если истинно А или В, но не оба одновременно. www.yaklass.ru