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