С помощью таблицы истинности определяется истинность или ложность составного высказывания при всех возможных комбинациях значений исходных выражений. Для простоты в таблицах применяют условные обозначения конъюнкции, дизъюнкции, инверсии, импликации и эквивалентности, а также истина обозначена 1, ложь - 0.