1.
!0.
0 = 0.
1 = 1.
!0 = 1.
!1 = 0.
!(0 = 1).
!(!A) = A.
A+!A.
!(A*!A).
A*(A+B) = A.
A+(A*B) = A.
A+!A*B = A+B.
A*(!A+B) = A*B.
A = A.
A*A = A.
A+A = A.
A + 0 = A.
A * 1 = A.
A * 0 = 0.
A + 1 = 1.
(0 > A) = 1.
(1 > A) = A.
(A > 0) = !A.
(A = 0) = !A.
(A = 1) = A.
A+B = B+A.
A*B = B*A.
A+(B+C) = (A+B)+C.
A*(B*C) = (A*B)*C.
A*(B+C) = (A*B)+(A*C).
A+(B*C) = (A+B)*(A+C).
!(A+B) = !A*!B.
!(A*B) = !A+!B.
!A*!B + !A*B + A*!B + A*B = 1.
A > A.
(A > B) = !A + B.
(A > B) = !(A*!B).
(A > B) = (A+B = B).
(A > B) = (A*B = A).
A*B > A.
A > A+B.
(A>B) = (!B>!A).
(A>0) > !A.
(!A>0) > A.
A * (A>B) > B.
((A>B)*!B) > !A.
(A>B)*(B>C) > (A>C).
(A>(B>C)) = (A*B > C).
(A>C) * (B>C) > (A+B > C).
(A>B) + (B>A).
(A>B) * (A>C) > (A > B*C).
(A = B) = (A > B) * (B > A).
(A > (B = C)) = ((A>B) = (A>C)).
(A = B) = !(A*!B + !A*B).
!A > (A > B).
A > (!A > B).
A > (B > A).
(A * !A) > B.
!(A>B) > !B.
!(A>B) > (B > C).
(A>B) > ((B>C) > (A>C)).
(A = B) = (B = A).
!(A = B) = (A = !B).
A * (B = C) > ((A*B) = (A*C)).
A + (B = C) = ((A+B) = (A+C)).
A > ((B = C) > ((A>B) = (A>C))).
(A + B) * !A > B.
(A > B) * (B > C) * (C > D) > (A > D).
(A = B) = (A * B) + (!A * !B).
!(A = B) = (A + B) * !(A * B).
A * !(B = C) = !(A*B  = A*C).
A*B = ((A = B) = (A + B)).
(A=B) = ((A + B) > A*B).
((A*B) > C) > ((A > C) + (B > C)).
(A > (B = C)) = ((A>B) = (A>C)).
(A > (B > (C > D))) = (A*B*C > D).
(A + B) * (A > C) * (B > C) > C.
(A + B) * (A > C) * (B > D) > (C + D).
(A + B) > (C > ((A*B) > C)).
(B > C) * (!B > D) = (B * C) + (!B * D).
(A = (B = C)) = ((A = B) = C).
((A > B) > C) > (A > (B > C)).
(C > A) > ((A > B) > (C > B)).
(A>B) * (C>D) > ((A + C) > (B + D)).
(A>B) + (!A>B).
(A>B) + (!A>B).
(A=B) = ((A + B) = A*B).
