Метод решения логических задач с помощью таблицы истинности заключается в следующем: 2

1. Выделить из условия задачи элементарные (простые) высказывания и обозначить их буквами. 2
2. Записать условие задачи на языке алгебры логики, соединив простые высказывания в составные с помощью логических операций. 2
3. Построить таблицу истинности для полученных логических выражений. 2
4. Выбрать решение — набор логических переменных (элементарных высказываний), при котором значения логических выражений соответствуют условиям задачи. 2
5. Убедиться, что полученное решение удовлетворяет условиям задачи. 2

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