Задание 1- упростить формулу, (Можно построить таблицу истинности и по ней написать итоговый ответ, либо действовать по законам логики непосредственно с формулой.)
Задание 2- для какого имени истинно высказывание?
Задание 3- предположим, что справедливы следующие утверждения
Задание 4- Постройте формальный вывод второй формулы из первой (слева от знака «швабры» первая формула, справа вторая)