Interactive demonstration of 3-SAT Show hints Help

Help

This tool demonstrates how satisfiability changes as clauses are added and removed.

Manipulate the formula by clicking the cells under the Clauses section. The color of the cell changes to black when the corresponding clause is added and back to white when it is removed.

By default, clauses that are implied by the formula are indicated with a grey background. These implied clauses can be added to the formula but they will have no effect on its satisfiability.