Notes
This function is in beta test. Please help improve it in the issues
here.
Hints
Your answer may be identical to the JOJ answer in the first several lines.
However, you will still get Wrong Answer because the complete output may be longer and there might be errors in the future lines.
Please double check your code to solve this problem and try again.
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: True 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!