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