1a:  0.0 = 0
1b:  1+1 = 1
2a:  1.1 = 1
2b:  0+0 = 0
3a:  0.1 = 1.0 = 0
3b:  1+0 = 0+1 = 1
4a:  If x=0, then x’ = 1
4b:  If x=1, then x’ = 0
5a:  x.0 = 0     		Null
5b:  x+1 = 1
6a:  x.1 = x	    		Identity
6b:  x+0 = x
7a:  x.x = x	    		Idempotency
7b:  x+x = x
8a:  x.x’ = 0	    		Complementarity
8b:  x+x’ = 1
9:    (x’)’ = x   		Involution 
(This is its own dual!)
10a:  x.y = y.x                 Commutative
10b:  x+y = y+x
11a:  x.(y.z) = (x.y).z      	Associative
11b:  x+(y+z) = (x+y)+z
12a:  x.(y+z) = x.y + x.z  	Distributive
12b:  x+y.z = (x+y).(x+z)
13a:  x+x.y = x	         	Absorption 1
13b:  x.(x+y) = x
14a:  x.y+x.y’ = x	        Combining
14b:  (x+y).(x+y’) = x
15a:  (x.y)’ = x’+y’	        DeMorgan’s
15b:  (x+y)’ = x’.y’
16a:  x+x’.y = x+y	        Absorption 2
16b:  x.(x’+y) = x.y
17a.  x.y+y.z+x'.z = x.y+x'.z	Consensus
17b.  (x+y).(y+z).(x'.z) = (x+y).(x'.z)