2-CNF SAT Solver
Select Example
or enter your own input
Test 1
Test 2
Test 3
Test 4
Test 5
Test 6
Test 7
Test 8
Input
Solve
Satisfying Assignment