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

Satisfying Assignment