Which of the following are correct statements? Select all that apply. pr denotes the clause - ^-^r. The empty clause, o, is unsatisfiable. denotes the the empty set of clauses. If two clauses clash on more than one literal, their resolvent is the clause E