Какие существуют основные логические операции в алгебре высказываний?

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

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