Основные логические операции в алгебре высказываний:

1. Логическое отрицание (инверсия). 14 Если исходное выражение истинно, то результат отрицания будет ложным, и наоборот, если исходное выражение ложно, то результат отрицания будет истинным. 3
2. Логическое сложение (дизъюнкция). 13 Новое сложное выражение будет истинным тогда и только тогда, когда истинно хотя бы одно из исходных (простых) выражений. 3
3. Логическое умножение (конъюнкция). 13 Новое сложное выражение будет истинным только тогда, когда истинны оба исходных простых выражения. 3
4. Логическое следование (импликация). 13 Связывает два простых логических выражения, из которых первое является условием, а второе — следствием из этого условия. 3 Результатом импликации является ложь только тогда, когда условие истинно, а следствие ложно. 3
5. Логическая равнозначность (эквивалентность, тождество). 3 Определяет результат сравнения двух простых логических выражений. 3 Результатом эквивалентности является новое логическое выражение, которое будет истинным тогда и только тогда, когда оба исходных выражения одновременно истинны или ложны. 3
6. Сложение по модулю 2 (исключающее ИЛИ, в просторечье XOR). 3 Определяет результат сравнения двух простых логических выражений. 3 Результатом является новое логическое выражение, которое будет истинным тогда и только тогда, когда оба исходных выражения различны. 3