Логические операции
Обозначения логической операции | Другие обозначения логической операции | Названия логической операции и связки | Как читается выражение, приведенное в первом столбце |
Ø a | отрицание | неверно, что а; не а | |
a Ù b | a & b a×b min(a; b) | конъюнкция, логическое умножение, логическое «и» | a и b |
aÚ b | a+b max(a; b) | дизъюнкция, логическое сложение, логическое «или» | а или b |
a® b | aÉb aÞb | импликация, логическое следование | если а, то b; а имплицирует b; а влечет b |
a » b | a º b a « b a Û b | эквиваленция, эквивалентность, равнозначность, тождественность | а тогда и только тогда, когда b; а эквивалентно b |
aÅ b | a+ b a D b | сумма по модулю два, разделительная дизъюнкция, разделительное «или» | а плюс b; либо а, либо b |
a ï b | штрих Шеффера, антиконъюнкция | неверно, что а и b; а штрих Шеффера b | |
a ¯ b | a o b | стрелка Пирса, антидизъюнкция, функция Вебба, функция Даггера | ни а, ни b; а стрелка Пирса b |