What is the 2CNF propositional formula equisatisfiable to the 3CNF clause $x \lor y \lor z?$
What is the 2CNF propositional formula equisatisfiable to the 3CNF clause $x \lor y \lor z?$
logic;first order logic;propositional logic