Convert to prenex conjunctive normal form: (1) (xP(x) xQ(x))) (2) x((P(x) yQ(y))) (3) yP(y)
Fantastic news! We've Found the answer you've been seeking!
Question:
Convert to prenex conjunctive normal form:
(1) ¬(∀xP(x) ∨ ∃xQ(x)))
(2) ∃x(¬(P(x) → ∀yQ(y)))
(3) ¬∃yP(y) ∨ ∀x¬(P(x))
Related Book For
Posted Date: