# Tag Info

Accepted

• 34.1k
1 vote

### Determining whether formula is only satisfied by the all-true assignment

Convert your formula into 3-CNF (not strictly necessary, I think). Duplicate every clause in the formula with new variables and every literal inverted. Then if there exists a satisfying assignment in ...
• 1,024

Only top scored, non community-wiki answers of a minimum length are eligible