Cnf and dnf problem


#1

Let Dx = Dy = {1, 2, 3, 4, 5}. Define the predicate P(x, y) as
P(x, y) := (y ≥ x) or (x + y > 6).
Find the truth sets of the following predicates:

  1. P(x, y).
  2. ∃xP(x, y)
  3. ∀yP(x, y)