CNF (P %26%26 ~Q) %7C%7C (R %26%26 S) %7C%7C (Q %26%26 R %26%26 ~S)