Каждое задание оформляется на отдельном листе. Знак умножение - конъюнкция.

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

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

В Задание 3 ничего не выделяется. Только строится таблицам по всем правилам.

Для создание таблиц используем функцию ЕСЛИ