Notes
This function is in beta test. Please help improve it in the issues
here.
Your Answer
Start deductive solver for: (x0 | x1 | x2 | x3 | x4) & (-x0 | x1 | x2 | x3 | x4) & (x0 | -x1 | x2 | x3 | x4) & (-x0 | -x1 | x2 | x3 | x4) & (x0 | x1 | -x2 | x3 | x4) & (-x0 | x1 | -x2 | x3 | x4) & (x0 | -x1 | -x2 | x3 | x4) & (-x0 | -x1 | -x2 | x3 | x4) & (x0 | x1 | x2 | -x3 | x4) & (-x0 | x1 | x2 | -x3 | x4) & (x0 | -x1 | x2 | -x3 | x4) & (-x0 | -x1 | x2 | -x3 | x4) & (x0 | x1 | -x2 | -x3 | x4) & (-x0 | x1 | -x2 | -x3 | x4) & (x0 | -x1 | -x2 | -x3 | x4) & (-x0 | -x1 | -x2 | -x3 | x4) & (x0 | x1 | x2 | x3 | -x4) & (-x0 | x1 | x2 | x3 | -x4) & (x0 | -x1 | x2 | x3 | -x4) & (-x0 | -x1 | x2 | x3 | -x4) & (x0 | x1 | -x2 | x3 | -x4) & (-x0 | x1 | -x2 | x3 | -x4) & (x0 | -x1 | -x2 | x3 | -x4) & (-x0 | -x1 | -x2 | x3 | -x4) & (x0 | x1 | x2 | -x3 | -x4) & (-x0 | x1 | x2 | -x3 | -x4) & (x0 | -x1 | x2 | -x3 | -x4) & (-x0 | -x1 | x2 | -x3 | -x4) & (x0 | x1 | -x2 | -x3 | -x4) & (-x0 | x1 | -x2 | -x3 | -x4) & (x0 | -x1 | -x2 | -x3 | -x4) & (-x0 | -x1 | -x2 | -x3 | -x4) Make decision x0 = 0: (x1 | x2 | x3 | x4) & (1) & (-x1
JOJ Answer
Start deductive solver for: (x0 | x1 | x2 | x3 | x4) & (-x0 | x1 | x2 | x3 | x4) & (x0 | -x1 | x2 | x3 | x4) & (-x0 | -x1 | x2 | x3 | x4) & (x0 | x1 | -x2 | x3 | x4) & (-x0 | x1 | -x2 | x3 | x4) & (x0 | -x1 | -x2 | x3 | x4) & (-x0 | -x1 | -x2 | x3 | x4) & (x0 | x1 | x2 | -x3 | x4) & (-x0 | x1 | x2 | -x3 | x4) & (x0 | -x1 | x2 | -x3 | x4) & (-x0 | -x1 | x2 | -x3 | x4) & (x0 | x1 | -x2 | -x3 | x4) & (-x0 | x1 | -x2 | -x3 | x4) & (x0 | -x1 | -x2 | -x3 | x4) & (-x0 | -x1 | -x2 | -x3 | x4) & (x0 | x1 | x2 | x3 | -x4) & (-x0 | x1 | x2 | x3 | -x4) & (x0 | -x1 | x2 | x3 | -x4) & (-x0 | -x1 | x2 | x3 | -x4) & (x0 | x1 | -x2 | x3 | -x4) & (-x0 | x1 | -x2 | x3 | -x4) & (x0 | -x1 | -x2 | x3 | -x4) & (-x0 | -x1 | -x2 | x3 | -x4) & (x0 | x1 | x2 | -x3 | -x4) & (-x0 | x1 | x2 | -x3 | -x4) & (x0 | -x1 | x2 | -x3 | -x4) & (-x0 | -x1 | x2 | -x3 | -x4) & (x0 | x1 | -x2 | -x3 | -x4) & (-x0 | x1 | -x2 | -x3 | -x4) & (x0 | -x1 | -x2 | -x3 | -x4) & (-x0 | -x1 | -x2 | -x3 | -x4) Make decision x0 = 0: (x1 | x2 | x3 | x4) & (1) & (-x1