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

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