Номер 5.9, страница 38 - гдз по алгебре 8 класс учебник Мерзляк, Поляков

Параграф 5. Элементы математической логики. Глава 1. Множества и операции над ними - номер 5.9, страница 38.

Условие.

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

1) $A \Rightarrow \overline{\overline{A}}$

2) $A \wedge \overline{A}$

3) $A \wedge \overline{A} \Rightarrow B$

4) $A \Rightarrow (B \Rightarrow A)$

5) $(A \Rightarrow B) \vee (B \Rightarrow A)$

6) $A \wedge (A \Rightarrow B) \Rightarrow B$

7) $\overline{B} \wedge (A \Rightarrow B) \Rightarrow \overline{A}$

8) $((A \Rightarrow B) \wedge (B \Rightarrow C)) \Rightarrow (A \Rightarrow C)$