Основы логики. Построение таблиц истинности для сложных выражений

принимает составное высказывание при всех сочетаниях значений входящих в него простых высказываний.

Определить количество логических операций и последовательность их выполнения.
Определить количество строк:
количество строк = 2ª + строка для заголовка,
где a – количество логических переменных.
Определить количество столбцов: количество столбцов = количество переменных + количество логических операций;
Заполнить столбцы результатами выполнения логических операций в обозначенной последовательности с учетом таблиц истинности основных логических операций.

(3)
Количество логических операций: ¬ А - инверсия; B ∨ C - операция дизъюнкции; ¬ А & (B ∨ C)- операция конъюнкции. Всего: 3
Количество строк: на входе три простых высказывания: А, В, С, поэтому a=3 и количество строк = 2³ +1 = 9.
Количество столбцов: 3+3=6
Заполняем столбцы с учетом таблиц истинности логических операций.