Таблица истинности составных высказываний – это таблица, которая показывает какие значения принимает составное высказывание при всех сочетаниях значений входящих в него простых высказываний.
Определить количество переменных (простых выражений); Определить количество логических операций и последовательность их выполнения. Определить количество строк: количество строк = 2 n + строка для заголовка, где n – количество логических переменных. Определить количество столбцов: количество столбцов = количество переменных + количество логических операций; Заполнить столбцы результатами выполнения логических операций в обозначенной последовательности с учетом таблиц истинности основных логических операций.
1. выписываем все переменные 2. все переменные с инверсией 3. действия в скобках 4. скобки с инверсией 5. конъюнкция 6. дизъюнкция 7. импликация 8. эквивалентность
Решение: Простые выражения (логические переменные): А, В, С; (3 переменных) Количество логических операций: ¬ А - инверсия; B C - операция дизъюнкции; ¬ А & (B C)- операция конъюнкции. Всего: 3 Количество строк: на входе три простых высказывания: А, В, С, поэтому a=3 и количество строк = 2³ +1 = 9. Количество столбцов: 3+3=6 Заполняем столбцы с учетом таблиц истинности логических операций.