Is there an algorithm to find out if a truthtable can be represented as 2-sat, and if so find its 2-cnf?
-
05-11-2019 - |
문제
I know that not all truthtables have a corresponding 2-cnf representation, but is there a way to find out if a given truthtable has a 2-cnf representation, and if so to find what that is?
올바른 솔루션이 없습니다
제휴하지 않습니다 cs.stackexchange