Упр.5.9 ГДЗ Мерзляк Поляков 8 класс (Алгебра)

Ниже вариант решения задания из учебника Мерзляк, Поляков 8 класс, Вентана-Граф:

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

1) A?A;

2) ?(A??A);

3) A??A?B;

4) A?(B?A);

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

6) A?(A?B)?B;

7) ?B?(A?B)??A;

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