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