Notes
This function is in beta test. Please help improve it in the issues
here.
Your Answer
(x0 | -x4 | x3) & (x0 | -x3 | x2 | x4) & (x2 | x4 | x1) & (x3 | -x1) & (-x3) & (x0) The value of the Boolean expression is: True The value of the Boolean expression is: False The value of the Boolean expression is: Unknown The expression is SAT with one solution: 1 0 0 0 1 (x0 | -x4 | x3) & (x0 | -x3 | x2 | x4) & (x2 | x4 | x1) & (x3 | -x1) & (-x3) & (x0) Bye!
JOJ Answer
(x0 | -x4 | x3) & (x0 | -x3 | x2 | x4) & (x2 | x4 | x1) & (x3 | -x1) & (-x3) & (x0) The value of the Boolean expression is: True The value of the Boolean expression is: False The value of the Boolean expression is: Unknown The expression is SAT with one solution: 1 0 0 0 1 (x0 | -x4 | x3) & (x0 | -x3 | x2 | x4) & (x2 | x4 | x1) & (x3 | -x1) & (-x3) & (x0) Bye!