Các định đề của đại số Boole

Đại số Boolean dựa trên một tập các luật từ một số các giả
sử cơ bản:
1.a: 0.0 =0 3.a: 0.1 =1.0=0
1.b: 1+1=1 3.b: 0+1=1+0=1

2.a: 1.1=1 4.a: If x=0 then x’=1

2.b: 0+0=0 4.b: If x=1 then x’=0

 Các định lý cơ bản của đại số Boole
5.a: x.0=0
5.b: x+1=1
6.a: x.1=x
6.b: x+0=x
7.a: x.x=x
7.b: x+x=x
8.a: x.x’=0
8.b: x+x’=1
9: x’’=x
 Các định lý cơ bản của đại số Boole (tiếp)
10.a: x.y=y.x
10.b: x+y=y+x Tính giao hoán (commutative)

11.a: x.(y.z)=(x.y).z
11.b: x+(y+z)=(x+y)+z Tính kết hợp (associative)

12.a: x.(y+z)=x.y+x.z
12.b: x+y.z=(x+y).(x+z) Tính phân bố (Distributive)

13.a: x+x.y=x
13.b: x.(x+y)=x Tính thu hút (Absorption)
 Các định lý cơ bản của đại số Boole (tiếp)

14.a: x.y+x.y’=x
14.b: (x+y).(x+y’)=x Tính phối hợp (combining)

15.a: (x.y)’=x’+y’
Định lý DeMorgan
15.b: (x+y)’=x’.y’

16.a: x+x’.y=x+y
16.b: x.(x’+y)=xy Chứng minh bằng bảng sự thật
(Prove by truth table)