Using resolution, if we have the clauses (A∨B)(A \lor B)(A∨B) and (¬A∨C)(\neg A \lor C)(¬A∨C), what is the resolvent?
B∨CB \lor CB∨C
A∧CA \land CA∧C
B∧CB \land CB∧C
A∨CA \lor CA∨C