📅  最后修改于: 2022-03-11 14:58:22.790000             🧑  作者: Mango
¬∃w∀a∃f (P(w,f ) ∧ Q(f,a)) ≡ ∀w¬∀a∃f (P(w, f ) ∧ Q(f, a))
≡ ∀w∃a¬∃f (P(w, f ) ∧ Q(f, a))
≡ ∀w∃a∀f¬(P (w, f ) ∧ Q(f, a))
≡ ∀w∃a∀f (¬P(w, f )∨¬Q(f, a))