/ Test /

Record Case Detail

Notes

This function is in beta test. Please help improve it in the issues here.

Stderr


        

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!