¬A∨B
Объяснение:
¬(¬A⇒¬B)∨¬(¬A⇔B) замена ⇒ и ⇔
¬(A∨¬B)∨¬(A∧¬B∨¬A∧B) законы де-Моргана
(¬A∧B)∨¬(A∧¬B)∧¬(¬A∧B)
(¬A∧B)∨(¬A∨B)∧(A∨¬B) раскрыть ∧
(¬A∧B)∨(¬A∧¬B)∨(A∧B) вынести за скобки
¬A(B∨¬B)∨(A∧B) B∨¬B = 1
¬A ∨ A∧B закон поглощения
¬A∨B
Объяснение:
¬(¬A⇒¬B)∨¬(¬A⇔B) замена ⇒ и ⇔
¬(A∨¬B)∨¬(A∧¬B∨¬A∧B) законы де-Моргана
(¬A∧B)∨¬(A∧¬B)∧¬(¬A∧B)
(¬A∧B)∨(¬A∨B)∧(A∨¬B) раскрыть ∧
(¬A∧B)∨(¬A∧¬B)∨(A∧B) вынести за скобки
¬A(B∨¬B)∨(A∧B) B∨¬B = 1
¬A ∨ A∧B закон поглощения
¬A∨B