- Dua operator biner: + dan ×
- Sebuah operator uner: ’.
- B : himpunan yang didefinisikan pada opeartor +, ×, dan ’
- 0 dan 1 adalah dua elemen yang berbeda dari B.
Tupel
(B, +, ×, ’)
disebut aljabar Boolean jika untuk setiap a, b, c Î B berlaku aksioma-aksioma atau postulat Huntington berikut :
Untuk mempunyai sebuah aljabar Boolean, harus diperlihatkan :
1. Elemen-elemen himpunan B.
2. Kaidah operasi untuk operator biner dan operator uner.
3. Memenuhi postulat Huntington.
0 komentar:
Posting Komentar