simplify ((p AND NOT q) OR (q AND NOT p)) = ((NOT p OR NOT q) AND (p OR q))