Построение таблицы истинности
Таблица истинности – это таблица, показывающая истинность сложного высказывания
при всех возможных значениях входящих переменных.
Последовательность действий:
1. Определить количество строк в таблице:
количество строк = 2n+1, где n – количество логических переменных, 1 – строка заголовков
2. Определить количество столбцов в таблице:
количество столбцов = количеству логических переменных + количество логических операций
3. Расставить приоритеты действий:
приоритеты: ( ), ¬, &, V
4. Заполнить столбцы входных переменных наборами значений.
5. Заполнить таблицу истинности, выполняя логические операции в соответствии с приоритетами действий.