Question

Упростите указанное логическое выражение
¬(¬A → B)

Answer 1

Ответ:

¬(¬A → B) = ¬A & ¬B

Объяснение:

¬(¬A → B) = ¬(¬¬A ∨ B) = ¬(A ∨ B) = ¬A & ¬B

¬A → B = ¬¬A ∨ B - правило замены импликации

¬¬A = A - закон двойного отрицания

¬(A ∨ B) = ¬A & ¬B - закон де Моргана