A ∧ Y
Объяснение:
¬(¬A ∨ ¬Y)
Закон общей инверсии (закон де Моргана)
¬(A ∨ B) = ¬A ∧ ¬B
¬(A ∧ B) = ¬A ∨ ¬B
¬(¬A ∨ ¬Y) = ¬¬A ∧ ¬¬Y
Закон двойного отрицания
¬¬A = A
¬¬A ∧ ¬¬Y = A ∧ Y
