Некоторые логические операции, которые используются для анализа высказываний:

• Отрицание (инверсия, логическое НЕ). 15 Делает ложное высказывание истинным, а истинное — ложным. 1
• Логическое сложение (дизъюнкция, логическое ИЛИ). 15 Высказывание истинно, если хотя бы одно из простых логических выражений истинно, и ложно, когда оба ложны. 1
• Логическое умножение (конъюнкция, логическое И). 15 Высказывание истинно только в том случае, когда оба простых выражения истинны, во всех остальных случаях оно ложно. 1
• Логическое следование (импликация). 15 Связывает два простых логических выражения, из которых первое (А) является условием, а второе (В) — следствием. 1 Высказывание ложно, когда первое истинно, а второе ложно. 2
• Логическая эквивалентность (равносильность). 1 Высказывание истинно, когда оба простых логических выражения имеют одинаковую истинность. 1
• Исключающее ИЛИ (сложение по модулю два). 2 Высказывание истинно, когда А и В не равны. 2