






Jeff Shelton – 16 January 2015

Jeff Shelton – 16 January 2015 2
 




Jeff Shelton – 16 January 2015 3

 




Jeff Shelton – 16 January 2015

Jeff Shelton – 16 January 2015 5
Jeff Shelton – 16 January 2015 6
 





Jeff Shelton – 16 January 2015 7

 •
•
•

Jeff Shelton – 16 January 2015 8

 •
•

•
•

Jeff Shelton – 16 January 2015 9

 510 = 1012

Jeff Shelton – 16 January 2015 10

  
 

 
 
 

Jeff Shelton – 16 January 2015

 ′
𝑥 or 𝑥 /𝑥

• 𝒙 𝒙
0 1
1 0

•
𝒙
0 1
𝒙 1 0

Jeff Shelton – 16 January 2015 12

 𝒙 𝒚 𝒙 •𝒚
•
0 0 0
0 1 0
1 0 0
1 1 1

•
𝒙 AND 𝒚 𝒙
0 1
0 0 0
𝒚
1 0 1

Jeff Shelton – 16 January 2015 13

 𝒙 𝒚 𝒙 +𝒚
•
0 0 0
0 1 1
1 0 1
1 1 1

•
𝒙 OR 𝒚 𝒙
0 1
0 0 1
𝒚
1 1 1

Jeff Shelton – 16 January 2015 14

 ⊕

𝒙 𝒚 𝒙 ⊕𝒚
•
0 0 0
0 1 1
1 0 1
1 1 0

•
𝒙 XOR 𝒚 𝒙
0 1
0 0 1
𝒚
1 1 0

Jeff Shelton – 16 January 2015 15




Jeff Shelton – 16 January 2015 16

(Axioms define domain characteristics, from which other ‘truths’ can be derived.)

 𝑥+𝑦 =𝑦+𝑥
𝑥 ⋅𝑦=𝑦⋅𝑥

 𝑥+𝑦 +𝑧 =𝑥+ 𝑦+𝑧

𝑥⋅𝑦 ⋅𝑧 =𝑥⋅ 𝑦⋅𝑧

 𝑥⋅ 𝑦+𝑧 =𝑥⋅𝑦+𝑥⋅𝑧
𝑥+ 𝑦⋅𝑧 = 𝑥+𝑦 ⋅ 𝑥+𝑧

 𝑥+0=𝑥
𝑥⋅1=𝑥

 𝑥⋅𝑥 =0
𝑥+𝑥 =1
Jeff Shelton – 16 January 2015 17
(Theorems are proven through algebraic manipulation or exhaustive substitution.)

 𝑥+𝑥 =𝑥
𝑥⋅𝑥 =𝑥

 𝑥+𝑥⋅𝑦 =𝑥
𝑥 ⋅ (𝑥 + 𝑦) = 𝑥

 𝑥+𝑥⋅𝑦 =𝑥+𝑦
𝑥⋅ 𝑥+𝑦 =𝑥⋅𝑦

 (𝑥 + 𝑦) = 𝑥 ⋅ 𝑦
(𝑥 ⋅ 𝑦) = 𝑥 + 𝑦

Jeff Shelton – 16 January 2015 18

 



Jeff Shelton – 16 January 2015 19







0
0
1
0

Jeff Shelton – 16 January 2015 20

 0
0
1
0


𝑦 = 𝑪1 + 𝑪2 + ⋯ + 𝑪𝑛−1 + 𝑪𝑛
𝑪𝑖 𝑛

Jeff Shelton – 16 January 2015 21

Jeff Shelton – 16 January 2015 22
 0
0
1
0


𝑦 = 𝐵1 ⋅ 𝐵2 + 𝐵1 ⋅ 𝐵2 + 𝐵1 ⋅ 𝐵2 + 𝐵1 ⋅ 𝐵2

𝑦 = 𝐵1 ⋅ 𝐵2 + 𝐵1 ⋅ 𝐵2 + 𝐵1 ⋅ 𝐵2 + 𝐵1 ⋅ 𝐵2

𝑦 = 𝐵1 ⋅ 𝐵2

Jeff Shelton – 16 January 2015 23

 0
0
1
0


𝑦 = 𝐵1 + 𝐵2 ⋅ 𝐵1 + 𝐵2 ⋅ 𝐵1 + 𝐵2 ⋅ 𝐵1 + 𝐵2

𝑦 = 𝐵1 + 𝐵2 ⋅ 𝐵1 + 𝐵2 ⋅ 𝐵1 + 𝐵2 ⋅ 𝐵1 + 𝐵2
𝑦 = 𝐵1 + 𝐵2 ⋅ 𝐵1 + 𝐵2 ⋅ 𝐵1 + 𝐵2



Jeff Shelton – 16 January 2015 24
 


Jeff Shelton – 16 January 2015 25