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