((NOT p) OR q) AND((NOT q) OR p)