Построим истинностную таблицу сложного высказывания:
Очевидно, истинностная таблица будет содержать 
строк. Скобки применяются, если нарушаются естественный порядок операций: отрицание, конъюнкция, дизъюнкция, импликация, двойная импликация. Скобки (А®В) указывают на то, что сначала нужно выполнить импликацию, затем найти (А®В)ÙС. Скобки в выражении 
можно опустить. Заключительной операцией в построении истинностной таблицы для S будет дизъюнкция двух высказываний: (А®В)ÙС и .
Таблица 2.1.7
Итак, формула S задает высказывание, которое истинно на следующих наборах значений элементарных высказываний:
| А=1
| В=1
| С=1
| (все три элементарных высказывания истинны)
|
| А=1
| В=0
| С=1
| (А, С – истинны, В – ложно)
|
| А=0
| В=1
| С=1
| (А – ложно, В и С – истинны)
|
| А=0
| В=1
| С=0
| (В – истинно, А и С – ложны)
|
| А=0
| В=0
| С=1
| (С – истинно, А и В – ложно)
|
| А=0
| В=0
| С=0
| (все три высказывания ложны).
|
