Does every 3CNF propositional formula has an equisatisfiable 2CNF propositional formula

cs.stackexchange https://cs.stackexchange.com/questions/80200

Question

Does every 3CNF propositional formula has an equisatisfiable 2CNF propositional formula?

No correct solution

Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange
scroll top