
(NOT (AND (OR (NOT |p1|) (NOT |p2|) |p4|)
          (OR (NOT |p4|) (NOT |p3|) |p1|)))
(NOT (AND (OR (NOT |p4|) (NOT |p1|) (NOT |p2|)) (OR |p4| |p3| |p1|)))
(NOT (AND (OR (NOT |p3|) |p2| |p4|) (OR (NOT |p4|) |p1| |p2|)
          (OR |p3| (NOT |p2|) |p4|) (OR |p4| (NOT |p1|) (NOT |p2|))))
(NOT (AND (OR |p3| |p2| (NOT |p4|))
          (OR (NOT |p1|) (NOT |p4|) (NOT |p2|))
          (OR |p4| (NOT |p2|) (NOT |p1|)) (OR (NOT |p2|) |p4| |p1|)))