CNF(P&&~Q)||(R&&S)| |(Q&&R&~S)