M are all negative literals given a propositional logic sentence like P -> ~(Q & R), we are usually interested in whether it is true or false if we are given the truth values of P, Q, and R, then we ...