CNF Formula:
(x1 x2 x3 )
(¬x1 x4 )
(¬x2 x4 )
(¬x3 x4 )
(¬x4 x5 x6 )
(¬x5 x7 )
(¬x6 x7 )
(¬x7 x8 )
(x2 ¬x6 x8 )
(¬x3 ¬x8 )
SAT solution found:
SAT Solution (Variable Assignment):
x1 = false
x2 = true
x3 = false
x4 = true
x5 = false
x6 = true
x7 = true
x8 = true
