Theorem Every Predicate Formula is logically equivalent to a PNF. Showing Can be shown with: Predicate Formula Logical Equivalence Laws