Метод таблиць істинності.
Використовуючи
таблиці істинності для логічних
сполучників, можна побудувати такі самі
таблиці для будь-якого висловлювання,
до складу якого увіходить кілька
однакових або різних логічних сполучників.
Алгоритм
побудови:
Формалізуємо
висловлювання за допомоги мови логіки
висловлювань.
У
складі формули, отриманої внаслідок
формалізації, визначити всі під формули.
Кожна підформула розпочинає новий
стовпчик таблиці.
Виписати
у рядки всі можливі набори логічних
сполучних значень пропозиційних змінних
(простих підформул). Кількість рядків
у таблиці розраховують за формулою 2 в
n степені, де n – кількість зміних у
формулі.
Обчислити
значення кожної складної під формули
при кожному наборі значень змінних.
