Упражнение 3.14 ГДЗ Мерзляк 10 класс Углубленный уровень (Алгебра)

Ниже вариант решения задания из учебника Мерзляк, Номировский, Поляков 10 класс, Просвещение:

3.14. Докажите, что логическое выражение является тавтологией:

1) A?A; 5) (A?B)?(B?A);

2) !(A?!A); 6) A?(A?B)?B;

3) A?!A?B; 7) !B?(A?B)?!A;

4) A?(B?A); 8) ((A?B)?(B?C))?(A?C).