Построение таблиц истинности. Построить таблицу истинности для заданной формулы: Для составления таблицы истинности проанализируем условие. Обозначим через  n – число атомов

Для составления таблицы истинности проанализируем условие. Обозначим через n число атомов, входящих в формулу. Формула содержит три атома, то есть n = 3. Тогда число строк в таблице истинности равно 2ⁿ = 2³ = 8, плюс 2 строки для заголовка, т.е. всего 2ⁿ + 2 = 2³ + 2 = 10 строк.

Число столбцов в таблице равно сумме числа атомов (n) и числа всех логических операций (k), входящих в формулу. Имеем три атома ( A, B, C), то есть n = 3 и 9 логических операций (4 дизъюнкции, 2 конъюнкции и 4 отрицания), то есть k = 10.

Поэтому в таблице истинности будет 12 столбцов (n + ...