Для доказательства справедливости тождеств с помощью таблиц истинности необходимо:
1. Построить таблицу истинности для левой части выражения.
2. Построить таблицу истинности для правой части выражения.
3. Сравнить значения в таблицах. Если значения для каждой строки совпадают, то тождество справедливо.
a) ¬A ∨ B = A → B
Невозможно доказать это утверждение без построения таблицы истинности. Из-за невозможности построения таблиц истинности тождество не может быть доказано.
б) ¬(A ∧ B) = ¬A ∨ ¬B
Невозможно доказать это утверждение без построения таблицы истинности. Из-за невозможности построения таблиц истинности тождество не может быть доказано.
Ответ: Описан выше.