Record Case Detail

Notes

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

Stderr


        

Your Answer

(-x3 | x0 | x1 | x2) & (x0 | -x2 | x1 | x3) & (x3 | x2 | x0 | -x1) & (-x3 | x2 | x1 | x0)
Bye!

JOJ Answer

(-x3 | x0 | x1 | x2) & (x0 | -x2 | x1 | x3) & (x3 | x2 | x0 | -x1) & (-x3 | x2 | x1 | x0)
Bye!