Таблицы истинности

Логическая операция полностью может быть описана таблицей истинности, указывающей, какие значения принимает сложное высказывание при всех возможных значениях простых высказываний.

Конъюнкция.

Логическая операция, ставящая в соответствие каждым двум элементарным высказываниям новое высказывание, 

являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны.

Дизъюнкция.

Логическая операция, которая каждым двум элементарным высказываниям ставит в соответствие новое высказывание, 

являющееся ложным тогда и только тогда, когда оба исходных высказывания ложны.

Строгая дизъюнкция.

Логическая операция, ставящая в соответствие двум элементарным высказываниям новое высказывание, 

являющееся истинным тогда и только тогда, когда ровно одно из двух высказываний является истинным. 

Импликация.

Логическая операция, ставящая в соответствие двум элементарным высказываниям новое высказывание, 

являющееся ложным тогда и только тогда, когда условие (посылка) — истинно, а следствие (заключение) — ложно. 

Эквивалентность.

Логическая операция, ставящая в соответствие двум элементарным высказываниям новое, являющееся 

истинным тогда и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны.

Отрицание.

Логическая операция, которая каждому элементарному высказыванию ставит в соответствие новое 

высказывание, значение которого противоположно исходному.

Сводная таблица истинности
Сводная таблица истинности