Rangkaian Logika Digital: Universitas Dian Nuswantoro Semarang
Rangkaian Logika Digital: Universitas Dian Nuswantoro Semarang
2SKS Teori
Dedi Nurcipto,MT
3
Hukum-hukum dalam Aljabar Boolean
2a. 1 ∙ 1 = 1
2b. 0 + 0 = 0
3a. 0 ∙ 1 = 1 ∙ 0 = 0
3b. 1 + 0 = 0 + 1 = 1
X = X'
X = (X')'
16
Contoh Pembuktian Teorema Aljabar Boole Berdasarkan Aksioma
Dan Teorema Variable Tunggal :
2. Buktikan teorema : X + X • Y = X
Sifat Identitas X + X•Y = X•1 + X•Y
Sifat distributive X • 1 + X • Y = X • (1 + Y)
identitas X • (1 + Y) = X • (1)
identitas X • (1) = X
17
TEOREMA DeMorgan
X Y X Y X +Y X•Y
0 0 1 1 1 1
(X + Y)' = X' • Y' 0 1 1 0 0 0
Gerbang NOR equivalent dengan 1 0 0 1 0 0
Gerbang AND yang inputnya dikomplemen 1 1 0 0 0 0
Contoh:
Z = A' • B' • C + A' • B • C + A • B' • C + A • B • C'
= A (B' + B) + A' B C
B
= A + A' B C = A ( 1+BC ) +A’BC
C F
= A + ABC + A’BC = A +( A+A’ )BC
A
=A + BC
Realisasi Hasil Penyederhanaan
Fungsi SoP
20
PERNYATAAN CANONICAL PRODUCT of SUM (PoS)
Product of Sums / Conjunctive Normal Form / Maxterm Expansion
A B C Maxterms
0 0 0 A + B + C = M0 Bentuk Maxterm :
0 0 1 A + B + C = M1
Tentukan baris pada tabel kebenaran
0 1 0 A + B + C = M2 Dengan F = 0.
0 1 1 A + B + C = M3 ‘0’ pada kolom input merupakan notasi
1 0 0 A + B + C = M4 Masukan tanpa komplemen.
1 0 1 A + B + C = M5 ‘1’ pada kolom input merupakan notasi
1 1 0 A + B + C = M6 Masukan dengan komplemen.
1 1 1 A + B + C = M7
F’(A,B,C) = ΠM(3,4,5,6,7)
= (A + B' + C') (A' + B + C) (A' + B + C') (A' + B' + C) (A' + B' + C')
21
PERBANDINGAN HASIL REALISASI
A
F2
F3