1. Dengan menggunakan tabel kebenaran, buktikan kebenaran teorema aljabar Boole berikut:
a. (𝑥 + 𝑦)(𝑥̅ + 𝑧)(𝑦 + 𝑧) = (𝑥 + 𝑦)(𝑥̅ + 𝑧)
b. Teorema DeMorgan untuk tiga variabel
c. 𝑥𝑦 + 𝑥̅ 𝑧 + 𝑦𝑧 = 𝑥𝑦 + 𝑥̅ 𝑧
2. Buktikan dalam aljabar Boole setiap tiga unsur 𝑎, 𝑏, dan 𝑐 selalu memenuhi kesamaan
𝑎𝑏 + 𝑏𝑐 + 𝑐𝑎 = (𝑎 + 𝑏)(𝑏 + 𝑐)(𝑐 + 𝑎)
3. Sederhanakan fungsi Boole berikut menjadi fungsi dengan literal yang sesedikit mungkin:
a. 𝑥𝑦 + 𝑥𝑦̅
b. (𝑥 + 𝑦)(𝑥 + 𝑦̅)
c. 𝑥𝑦𝑧 + 𝑥̅ 𝑦 + 𝑥𝑦𝑧̅
x y z 𝑓1 𝑓2
0 0 0 1 0
0 0 1 1 0
0 1 0 1 0
0 1 1 0 1
1 0 0 0 1
1 0 1 0 1
1 1 0 0 1
1 1 1 0 1
6. Nyatakan fungsi berikut menjadi jumlah sukumin (sum of product) dan hasilkali sukumaks
(product of sum)
a. 𝐹 (𝐴, 𝐵, 𝐶, 𝐷 ) = 𝐷(𝐴̅ + 𝐵) + 𝐵̅𝐷
b. 𝐹 (𝑤, 𝑥, 𝑦, 𝑧) = 𝑦̅𝑧 + 𝑤𝑥𝑦̅ + 𝑤𝑥𝑧̅ + 𝑤
̅𝑥̅ 𝑧
̅ ̅
c. 𝑓(𝐴, 𝐵, 𝐶 ) = (𝐴 + 𝐵)(𝐵 + 𝐶)
d. 𝑓(𝑥, 𝑦, 𝑧) = (𝑥𝑦 + 𝑧)(𝑦 + 𝑥𝑧)