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

Составное логическое высказывание в таблице истинности может принимать лишь два значения: 1 или 0, которые символизируют True или False соответственно. 1 Результатом также являются либо 1, либо 0. 1

Кроме того, для определения значения истинности сложного высказывания нужно уметь определять его форму и знать правила логических операций. 4 При вычислении значения логического выражения (формулы) логические операции вычисляются в определённом порядке, согласно их приоритету: инверсия, конъюнкция, дизъюнкция. 4 Операции одного приоритета выполняются слева направо. 4 Для изменения порядка действий используются скобки. 4