3
Teorema harus dibuktikan dari postulat(dalil).
Postulat
adalah
aksioma
dasar dari
struktur
aljabar
dan tidak
perlu
bukti.
Teorema Aljabar Boolean dapat dibuktikan dengan
Tabel Kebenaran.
x + xy = x (x + y)’ = x’y’
Teorema Aljabar Boolean dapat dibuktikan dengan
Tabel Kebenaran.
(x.y)’ = x’ + y’
x y x’ y’ x.y (x.y)’ x’+y’
0 0 1 1 0 1 1
0 1 1 0 0 1 1
1 0 0 1 0 1 1
1 1 0 0 1 0 0
Teorema Aljabar Boolean dapat dibuktikan dengan
Tabel Kebenaran.
(x + y)’ = x’ . y’
x y x’ y’ x+y (x+y)’ x’. y’
0 0 1 1 0 1 1
0 1 1 0 1 0 0
1 0 0 1 1 0 0
1 1 0 0 1 0 0
Fungsi, Tabel kebenaran dan Rangkaian Logika
Fungsi Logika dapat diimplementasikan
menjadi Rangkaian Logika
(penyederhanaan F2)
Fungsi, Tabel kebenaran dan Rangkaian Logika
Fungsi Logika dapat diubah menjadi
Tabel Kebenaran
F = 1 minterm
F = x’y’z+x’yz+xyz’+xyz
= xy + x’z
Kanonikal Minterm
F(x,y,z) = Σ(1,3,6,7)
Fungsi Logika dapat diimplementasikan
dengan Rangkaian Logika
F = 0 Maksterm
F = (x+y+z)(x+y’+z)(x’+y+z)(x’+y+z’)
= (x+z)(x’+y)
Kanonikal Maksterm
F(x,y,z) = П(0,2,4,5)
CONTOH :
Nyatakan fungsi Boolean F = A + B’C sebagai
KANONIKAL penjumlah minterm
F = A + B’C F = 1, A = 1 atau BC = 01
A B C F
0 0 0 0 M0
0 0 1 1 m1
0 1 0 0 M2 F = A’B’C+AB’C’+AB’C+ABC’+ABC
0 1 1 0 M3 F = m1 + m4 + m5 + m6 + m7
1 0 0 1 m4 F(A,B,C) = Σ(1,4,5,6,7)
1 0 1 1 m5 Kanonikal Maksterm
1 1 0 1 m6 F(A,B,C) = П(0,2,3)
1 1 1 1 m7
CONTOH :
Nyatakan fungsi Boolean F = xy + x’z sebagai
KANONIKAL perkalian Maksterm
Cara 1: melengkapi variabel yang hilang pada fungsi Boolean
Cara 2: mengubah fungsi Boolean ke tabel kebenaran
=1
Cara 1: F = xy + x’z = (x+x’)(x+z)(y+x’)(y+z) = (x+z)(y+x’)(y+z)
Cara 1:
Cara 2: mengubah fungsi Boolean ke tabel kebenaran
F = xy + x’z F = 1, xy = 11 atau xz = 01
x y z F
0 0 0 0 M0
0 0 1 1 m1
0 1 0 0 M2
0 1 1 1 m3
1 0 0 0 M4 Kanonikal Minterm
1 0 1 0 M5 F(x,y,z) = Σ(1,3,6,7)
1 1 0 1 m6
1 1 1 1 m7
Konversi diantara bentuk Kanonikal
Contoh :
Tidak Standar
F3 = AB+C(D+E) F3 = AB+CD+CE
Rangkaian Logika dapat diubah
menjadi Fungsi Logika
A.B F3 = A.B + C.(D+E)
(D+E) C.(D+E)
Operasi logika
CONTOH :
Operasi Logika dari data 8 bit, misal A = 10101101 ,
B = 10011010 , maka F = A OR B = 10111111
A = 10101101 A = 10101101 A = 10101101 A = 10101101
B = 10011010 B = 10011010 B = 10011010 B = 10011010
F = 10111111 F = 10001000 F = 01000000 F = 01110111
OR AND NOR NAND
A = 10101101
B = 10011010
F = 00110111
XOR
Operasi logika yang lain
F = ABC + DE
= (ABC + DE)’’ (involusi)
= ((ABC)’.(DE)’)’ De Morgan
12
https://www.its.ac.id/telektro/id/beranda/