9. Проведите доказательство рассмотренных в параграфе логических законов с помощью таблиц истинности.

Для доказательства логических законов с помощью таблиц истинности необходимо построить таблицы для левой и правой частей равенства и убедиться, что они совпадают для всех возможных комбинаций значений переменных.

Пример: Докажем закон ассоциативности для конъюнкции (A & B) & C = A & (B & C).

Шаг 1: Построить таблицу истинности для левой части (A & B) & C.

Шаг 2: Построить таблицу истинности для правой части A & (B & C).

Шаг 3: Сравнить столбцы результатов для обеих частей. Если они идентичны, закон доказан.