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