Suatu Aljabar Boole adalah sistem 5 tupel <B, +, *, ’, 0, 1> dengan arti :
B himpunan Boole
operasi binar
' operasi unar
0 elemen zero
1 elemen unit
Elemen zero adalah identitas pada operasi +, dan elemen unit adalah identitas pada operasi . Dan
pada <B, +, *, ’, 0, 1> berlaku sifat-sifat:
Sifat-sifat Proposisi Aljabar <>Aljabar Boole
Input : x, y
Output :x
y
Input : x
Output : x'
Aplikasi Aljabar Boole (3)
x
xy+x'y
y
TABEL KEBENARAN : Tabel kebenaran
dari suatu ekspresi bolean ditentukan
sesuai dengan nilai logika dari input-
input dan operator-operator yang dipakai
dalam suatu ekspresi boolean.
1 1 0 0 0 1 1
1 0 1 0 1 0 1
1 0 0 0 0 0 0
0 1 1 1 0 1 1
0 1 0 1 0 1 1
0 0 1 1 0 1 1
0 0 0 1 0 1 1
HUBUNGAN ANTARA TABEL KEBENARAN Dgn
EKSPRESI BOOLEAN
c
a
b b
Contoh;
a
bb
c