Задание 3. Дано логическое выражение: ¬(a ≡ d) ∨ (b ∧ d → ¬a) ∧ b. Определите: 1) количество строк в таблице истинности, учитывая строку заголовка; 2) общее количество столбцов в таблице истинности. Аргументируйте ответ. Саму таблицу истинности заполнять не нужно.

В выражении используются три логические переменные: a, b, d.

1. Количество строк с наборами значений переменных равно \(2^3=8\). С учётом строки заголовка: \(8+1=9\) строк.
2. В таблице будут 3 столбца для переменных и 8 столбцов для промежуточных и итоговых результатов операций:
   \(\neg(a\equiv d)\), \(b\land d\), \(\neg a\), \((b\land d)\to\neg a\), \(((b\land d)\to\neg a)\land b\), а также результаты внешних операций с учётом последовательного построения выражения. Итого: \(3+8=11\) столбцов.

Ответ: 9 строк и 11 столбцов.