¬(¬A → B) = ¬A & ¬B
Объяснение:
¬(¬A → B) = ¬(¬¬A ∨ B) = ¬(A ∨ B) = ¬A & ¬B
¬A → B = ¬¬A ∨ B - правило замены импликации
¬¬A = A - закон двойного отрицания
¬(A ∨ B) = ¬A & ¬B - закон де Моргана
¬(¬A → B) = ¬A & ¬B
Объяснение:
¬(¬A → B) = ¬(¬¬A ∨ B) = ¬(A ∨ B) = ¬A & ¬B
¬A → B = ¬¬A ∨ B - правило замены импликации
¬¬A = A - закон двойного отрицания
¬(A ∨ B) = ¬A & ¬B - закон де Моргана