x | y = y | x.
p > (p | q).
x | y = y | x).
x | y = (y | x).
(x | y) | z = x | (y | z).
(p & q) > p.
x | ! x = y | ! y.
(x & y = y & x.
x0 | x0 = x0.
 ! ! z = z .
	x1 | y1	&	! y1	= x1	.
x098 | y765 | ! y765
 = z4321 | ! z4321.
x & y = y & x.
(x | y) | z = x | (y | z).
(x & y) & z = x & (y & z).
x & y | x & z = x & (y | z).
(x | y) & (x | z) = x | y & z.
x | x & y = x.x & (x | y) = x.
x & y | x & ! y = x.
x & y | ! x & z | y & z = x & y | ! x & z.
(x | y) & (! x | z) & (y | z) = (x | y) & (! x | z).
a0 | a1 | a2 | a3 | a4 | a5 | a6 | a7 | a8 | a9
= a0 | a1 | a2 | a3 | a4 | a5 | a6 | a7 | a8 | a9.
(p & (p > q)) > q.
(x | y) z = x (y | z).
(! q & (p > q)) > ! p.
(x1a & y2b) & z = x1a & (y2b & z).
((p > q) & (q > r)) > (p > r).
p > (p | q).
((p | q) & ! p) > q.
x1 | y1 = y2 | x2.
(p &) > p.
x & y = y & x.
(p & (>)) > q.
(x | y) | z = x | (y | ! z).
x & y | ! x & z | y & z > x & y | ! x & z.
a0 | a1 | a2 | a3 | a4 | a5 | a6 | a7 | a8 | a9
= a0 | a1 | a2 | a3 | a4 | a5 | a6 | a7 | a8.