Bài giảng Kỹ thuật số - Chương 2: Đại số BOOLE (phần 2)

2.1. CÁC TIÊN ĐỀ VÀ ĐỊNH LÝ ĐẠI SỐ BOOLE

2.1.1. Các tiên đề

Cho một tập hợp B hữu hạn trong đó người ta trang bị các phép toán

+ (cộng logic), x (nhân logic), - (bù logic ) và hai phần tử 0 và 1 lập thành một cấu trúc đại số Boole.

Vx,y = B thì: x+y e B, x.y = B thỏa mãn 5 tiên đề sau:

2.1.1.1. Tiên đề giao hoán

Vx,ye B: x+y= y +x

2.1.1.2. Tiên đề phối hợp

Vx,y,z e B: (x + y) + z = x + (y + z)=x+y+z

(x, y).z

=

x.(y. z) = x.y.z

2.1.1.3. Tiên đề phân bố