Основные логические операции над высказываниями:

1. Логическое отрицание (инверсия). 14 Делает ложное высказывание истинным, а истинное — ложным. 4
2. Логическое сложение (дизъюнкция). 14 Дизъюнкция двух высказываний ложна тогда и только тогда, когда оба высказывания ложны. 4
3. Логическое умножение (конъюнкция). 14 Конъюнкция двух высказываний истинна тогда и только тогда, когда оба высказывания истинны. 4
4. Логическое следование (импликация). 1 Высказывание ложно тогда и только тогда, когда одно из высказываний истинно, а другое — ложно. 1
5. Эквивалентность (равносильность). 1 Высказывание истинно тогда и только тогда, когда значения обоих высказываний совпадают. 1