1

Chapter 2
Pengantar Sirkuit Logika


Studi tentang logika sirkuit sebagian besar dimotivasi oleh penggunaannya
dalam komputer digital.Tapi sirkuit seperti ini juga membentuk dasar dari banyak
sistem digital lainnya di mana operasi aritmatika pada angka bukanlah kepentingan
utama.Misalnya, dalam berbagai aplikasi kontrol yang ditentukan oleh beberapa
operasi logis sederhana pada informasi masukan, tanpa harus melakukan perhitungan
numerik yang luas. Sirkuit logika menampilkan operasi pada sinyal digital dan
biasanya diimplementasikan sebagai sirkuit elektronik di mana nilai-nilai sinyal
terbatas pada beberapa nilai-nilai diskrit.
Dalam logika biner sirkuit hanya ada dua nilai, 0 dan 1: Dalam desimal sirkuit
logika ada 10 nilai, dari 0 9 Karena setiap nilai sinyal secara alami diwakili oleh
digit, maka sirkuit logika seperti ini disebut sebagai sirkuit digital. Sebaliknya,
terdapat sirkuit analog dimana sinyal dapat mengambil nilai yang berkesinambungan
antara beberapa level minimum dan maksimum. Dalam buku ini kita akan
membahas sirkuit biner, yang memiliki peran dominan dalam teknologi digital.
Kami berharap dapat menyediakan kepada pembaca mengenai pemahaman tentang
bagaimana sirkuit ini bekerja, bagaimana mereka direpresentasikan dalam notasi
matematika, dan bagaimana mereka dirancang dengan menggunakan teknik
otomatisasi desain modern.Kita mulai dengan memperkenalkan beberapa konsep
dasar yang berkaitan dengan logika sirkuit biner.

2.1 Variabel dan Fungsi
Dominasi sirkuit biner dalam sistem digital merupakan konsekuensi dari
kesederhanaannya, yang merupakan hasil dari pembatasan sinyal untuk
mengasumsikan hanya dua kemungkinan nilai. Unsur biner sederhana adalah
sebuah saklar yang memiliki dua kondisi. Jika saklar yang diberikan
dikendalikan oleh input variabel x, maka kita akan berasumsi bahwa saklar
terbuka jika x = 0 dan jika tertutup maka x = 1, seperti yang diilustrasikan pada
Gambar 2.1a. Kita akan menggunakan simbol grafis pada Gambar 2.1b untuk
2

menampilkan switch seperti pada diagram berikut. Perhatikan bahwa input
kontrol x ditampilkan secara eksplisit dalam simbol. Dalam Bab 3 kita akan
menjelaskan bagaimana switch tersebut diimplementasikan dengan transistor.
Pertimbangkan sebuah aplikasi sederhana dari switch, di mana saklar
menghidupkan bola lampu kecil atau mematikannya. Tindakan ini ditujukan
pada rangkaian pada Gambar 2.2a.Sebuah baterai menyediakan sumber
daya.Bola lampu menyala ketika arus yang cukup melewati filamen, yang
merupakan hambatan listrik. Arus mengalir ketika saklar ditutup, yaitu ketika


Gambar 2.2 Lampu dikendalikan oleh sebuah saklar

x = 1. Dalam contoh ini input menyebabkan perubahan dari rangkaian
tersebut adalah kontrol saklar x. Output didefinisikan sebagai keadaan (atau
kondisi) dari cahaya L. Jika lampu menyala, kita akan mengasumsikan bahwa L
= 1. Jika lampu mati, kita akan mengasumsikan bahwa L = 0. Menggunakan
konvensi ini, kita bisa menggambarkan keadaan cahaya L sebagai fungsi dari
3

variabel input x. Karena L = 1 jika x = 1 dan L = 0 jika x = 0, kita dapat
mengatakan bahwa:
L (x) = x
Logika sederhana menggambarkan output sebagai fungsi dari input. Di
katakan bahwa L (x) = x adalah fungsi logika dan x adalah variabel input.
Rangkaian pada gambar 2.2a dapat ditemukan di sebuah senter biasa, di mana
saklar adalah perangkat mekanis sederhana. Dalam sebuah sirkuit elektronik
saklar diimplementasikan sebagai transistor dan cahaya seperti dioda pemancar
cahaya (LED), Sirkuit eletronic ini didukung oleh suplai daya tegangan tertentu,
misalnya 5 volt. Satu sisi dari power supply terhubung ke ground, seperti yang
ditunjukkan pada gambar 2.2.b. hubung ground juga dapat digunakan sebagai
jalan kembali untuk arus, untuk menutup loop yang dicapai dengan
menghubungkan satu sisi cahaya ke ground seperti yang ditunjukkan pada
gambar. Tentu saja, cahaya juga dapat dihubungkan dengan kabel secara
langsung ke sisi ground dari catu daya, seperti pada Gambar 2.2.a Sekarang
pertimbangkan, kemungkinan penggunaan dua saklar untuk mengontrol keadaan
cahaya. Biarkan x1 dan x2 menjadi masukan kontrol untuk switch ini. Switch
dapat dihubungkan baik secara seri atau paralel seperti terlihat pada Gambar
2.3a. Menggunakan sambungan seri, lampu akan menyala hanya jika kedua
saklar ditutup. Jika salah satu saklar terbuka, lampu akan dimatikan. Perilaku ini
dapat dijelaskan ekspresi di bawah ini :

L (x1, x2) = x1 x2
di mana L = 1 jika x1 = 1 dan x2 = 1,
L = 0 sebaliknya.
4


Simbol . disebut operator AND, dan sirkuit pada Gambar 2.3a menerapkan
fungsilogika AND.
Koneksi paralel dari dua ditampilkan pada Gambar 2.3b. Dalam hal ini
cahaya akan berada di x1 atau x2 ketika saklar ditutup .cahaya juga akan jika
berada pada kedua saklar yang tertutup. Dan cahaya akan dipadam hanya jika
kedua saklar terbuka. Perilaku ini dapat dinyatakan sebagai.


Simbol + disebut operator OR, dan sirkuit pada gambar 2.3b menerapkan
fungsi logika OR. Dalam ekspresi di atas untuk logika AND dan OR, output L
(x1, x2) adalah fungsi logika dengan variabel input x1 dan x2. fungsi AND dan
OR adalah dua fungsi logika yang paling penting. Bersama dengan beberapa
fungsi sederhana lainnya, mereka dapat digunakan sebagai blok bangunan untuk
pelaksanaan semua logika circuits.Figure 2.4 menggambarkan bagaimana tiga
saklar dapat digunakan untuk mengontrol cahaya dengan cara yang lebih
kompleks. Hubungan seri-paralel saklar ini menyadari fungsi logika.

Lampu akan menyala jika x3 = 1 dan pada saat yang sama, setidaknya salah
satu x1 atau x2 input sembanding dengan 1.
5




2.2 INVERSION
Sejauh ini kita telah mengasumsikan bahwa beberapa tindakan positif terjadi
ketika saklar ditutup, seperti menyalakan lampu. Ini berguna untuk
mempertimbangkan kemungkinan bahwa tindakan positif terjadi ketika saklar
dibuka.misalkan menghubungkan cahaya, sepertiyang ditunjukkan pada
Gambar 2.5. pada peristiwa ini saklar terhubung paralel dengan cahaya ,
daripada seri, sehingga saklar yang tertutup akan menghubung singkat dan
mencegah arus mengalir melaluinya. Perhatikan bahwa kita harus menggunakan
resistor tambahan di sirkuit ini untuk memastikan bahwa saklar tertutup tidak
mengalami hubungan arus pendek dari catu daya.lampu akan menyala saat
saklar dibuka. kita menyatakan perilaku fungsional ini sebagai

Nilai fungsi ini adalah kebalikan dari nilai variabel input. daripada
menggunakan kata invers, lebih umum untuk menggunakan istilah komplemen .
dengan demikian kita mengatakan bahwa L (x) merupakan pelengkap dari x
dalam contoh ini. istilah lain yang sering digunakan untuk operasi yang sama
adalah operasi NOT. Ada beberapa notasi yang umum digunakan untuk
menunjukkan komplementasi tersebut.Dalam ekspresi sebelumnya kita
6

menempatkan overbar pada kotak di atas x. notasi ini mungkin adalah yang
terbaik dari titik tampilan visual. Namun, ketika melengkapi

Diperlukan dalam ekspresi yang diketik menggunakan keyboard computer.
Yang sering dilakukan ketika menggunakan alat CAD, tidak praktis untuk
menggunakan overbars. Sebaliknya, baik sebagai apostrope ditempatkan setelah
variabel, atau tanda exclamtion (!) Atau charcter tilde (~) atau kata TIDAK
ditempatkan di depan variabel untuk menunjukkan komplementasi tersebut.
sehingga berikut ini berbanding lurus.

Operasi komplemen dapat diterapkan ke variabel tunggal atau operasi yang
lebih kompleks. misalnya, jika

Kemudian komplemen dari f adalah

ini menghasilkan nilai logika 1 hanya jika x1 maupun x2 tidak sama dengan 1,
yaitu ketika X1 = X2 = 0 Sekali lagi, notasi berikut berbanding lurust.


2.3 TABEL KEBENARAN
Telah memperkenalkan tiga operasi logika paling dasar AND, OR dan
melengkapi dengan mengaitkannya dengan rangkaian sederhana yang dibangun
dengan switch, pendekatan ini memberikan operasi , "arti fisik" tertentu.
Operasi yang sama juga dapat didefinisikan dalam tabel, yang disebut tabel
kebenaran, seperti yang ditunjukkan pada gambar 2.6. yang pertama kolom (di
7

sebelah kiri garis vertikal yang tebal) memberikan empat kemungkinan
kombinasi nilai-nilai logika bahwa variabel yang dapat dimemiliki X1 dan X2.
Kolom berikutnya mendefinisikan operasi AND untuk setiap kombinasi nilai
X1 dan X2, dan kolom terakhir mendefinisikan operasi OR. Karena kita akan
sering perlu untuk merujuk pada "kombinasi nilai-nilai logika" diterapkan pada
beberapa variabel, kita akan mengadopsi istilah lebih pendek , untuk
menunjukkan kombinasi seperti nilai-nilai logika.


Tabel kebenaran adalah bantuan yang berguna untuk menggambarkan
informasi yang melibatkan fungsi logika. Kami akan menggunakannya dalam
buku ini untuk menentukan fungsi-fungsi khusus dan untuk menunjukkan
keabsahan hubungan fungsional tertentu. Tabel kebenaran mudah untuk
gunakan. Namun, mereka tumbuh dengan pesat dalam ukuran dengan jumlah
variabel. Sebuah tabel kebenaran untuk tiga variabel input memiliki delapan
8

baris karena ada delapan kemungkinan valuasi variabel-variabel ini. Seperti
meja diberikan pada Gambar 2 7, yang mendefinisikan tiga-masukan fungsi
AND dan OR. untuk empat masukan variabel memiliki tabel kebenaran 16
baris, dan seterusnya. Secara umum, untuk variabel input n tabel kebenaran
memiliki baris 2
n
. Operasi AND dan OR dapat diperluas untuk variabel n.
Sebuah fungsi AND dari variabel X
1
, X
2
, ... Xn memiliki nilai 1 hanya jika
semua variabel n sama dengan 1.fungsi OR dari variabel X
1
, X
2
, ... Xn memiliki
nilai 1 jika setidaknya satu, atau lebih, dari variabel sama dengan 1.

2.4 GERBANG DAN JARINGAN LOGIKA

Tiga operasi logika dasar yang diperkenalkan sebelumnya dapat digunakan
untuk mengimplementasikan fungsi logika dari setiap kompleksitas. Fungsi
kompleks mungkin memerlukan banyak operasi dasar untuk pelaksanaannya.
Setiap operasi logika dapat diimplementasikan secara elektronik dengan
transistor, sehingga elemen sirkuit terbentuk gerbang logika. Sebuah gerbang
logika memiliki satu atau lebih input dan satu output yang merupakan fungsi
dari input. Hal ini untuk menggambarkan rangkaian logika dengan menggambar
diagram rangkaian, atau skema, yang terdiri dari simbol-simbol grafis yang
mewakili gerbang logika. Simbol grafis untukgerbang AND, OR, dan NOT
ditunjukkan pada Gambar 2.8. Gambar Angka menunjukkan di sisi kiri
bagaimana AND dan gerbang OR diambil ketika hanyaada beberapa masukan.
pada sisi kanan menunjukkan bagaimana simbol ditambah untuk
mengakomodasi lebih banyak masukan. Kami akan menunjukkan bagaimana
gerbang logika yang dibangun menggunakan transistor dalam Bab 3.
Sebuah rangkaian yang lebih besar diimplementasiakan oleh jaringan
gerbang. Misalnya, fungsi logika dari angka 2,4 dapat diimplementasikan oleh
jaringan pada gambar 2.9. Kompleksitas jaringan tertentu memiliki dampak
langsung pada biaya. Karena selalu diinginkan untuk menghemat
9




Biaya produk, hal ini penting untuk menemukan cara-cara untuk
menerapkan sirkuit semurah mungkin. Kami akan lihat dengan singkat bahwa
fungsi logika yang diberikan dapat diimplementasikan dengan sejumlah
jaringan yang berbeda. Beberapa jaringan ini lebih sederhana daripada yang
lain, maka di perlukan untuk mencari solusi yang memerlukan biaya minimum.
Dalam jargon teknis jaringan gerbang sering disebut jaringan logika atau hanya
rangkaian logika. Kami akan menggunakan istilah-istilah ini secara bergantian.






10

2.4.1 ANALISIS JARINGAN LOGIC
Seorang desainer sistem digital dihadapkan dengan dua masalah
dasar.Untuk jaringan logika yang ada, itu harus mungkin untuk menentukan
fungsi yang dilakukan oleh jaringan. Tugas ini disebut sebagai proses analisis.
Tugas kebalikan dari merancang jaringan baru yang menerapkan perilaku
fungsional yang diinginkan disebut sebagai proses sintesis. Proses analisis agak
mudah dan jauh lebih sederhana daripada proses sintesis.
Gambar 2.10 a menunjukan jaringan sederhana yang terdiri dari tiga pintu
gerbang. Untuk menentukan perilaku fungsional, kita dapat mempertimbangkan
apa yang terjadi jika kita menerapkan semua sinyal masukan yang mungkin
untuk itu. Misalkan kita mulai dengan membuat x1 = x2 = 0 Hal ini akan
memaksa output dari gerbang NOT untuk menjadi sama dengan 1 dan output
dari gerbang AND menjadi 0 Karena salah satu masukan ke gerbang OR adalah
1, output gerbang ini akan menjadi 1 Oleh karena itu, f = 1 jika x1 = x2 = 0 Jika
kita membiarkan x1 = 0 dan x2 = 1, maka tidak ada perubahan nilai f, karena
output gerbang NOT dan AND masih akan menjadi 1 dan 0, masing-masing.
Selanjutnya, jika kita menerapkan x1 = 1 dan x2 = 0, maka output dari gerbang
NOT berubah menjadi 0 sedangkan output dari gerbang AND tetap bernilai 0.
Kedua input ke gerbang OR adalah sama dengan 0; maka nilai f akan 0.
sehingga, x1 = x2 = 1 Kemudian output dari gerbang AND menjadi 1, yang
pada gilirannya menyebabkan f menjadi sama dengan 1 penjelasan kami dapat
diringkas dalam bentuk tabel kebenaran yang ditunjukkan pada Gambar 2.10 b

2.4.2 Timing Diagram
Kami telah menentukan perilaku jaringan pada Gambar 2.10 a dengan
mempertimbangkan empat kemungkinan penilaian dari input x_1 Dan x_2.
Misalkan sinyal yang sesuai dengan penilaian ini diterapkan pada jaringan
dalam urutan diskusi kita; yaitu, (x_1, x_2) = (0, 0) diikuti oleh (0, 1), (1, 0),
dan (1, 1). Kemudian perubahan dalam sinyal pada berbagai titik dalam jaringan
akan seperti yang ditunjukkan dengan warna biru pada gambar. Informasi yang
sama dapat disajikan dalam bentuk grafik, yang dikenal sebagai diagram waktu,
seperti yang ditunjukkan pada Gambar 2.10 _c. Waktu berjalan dari kiri ke
11

kanan, dan masing-masing penilaian masukan diadakan untuk beberapa periode
tertentu. Angka ini menunjukkan bentuk gelombang untuk input dan output dari
jaringan, serta juga untuk sinyal internal pada titik-titik berlabel A dan B.
Diagram waktu pada Gambar 2. 10 c menunjukkan bahwa perubahan
dalam bentuk gelombang pada titik-titik A dan B dan output terjadi seketika
ketika input x_1 dan x_2 mengubah nilai-nilainya.bentuk gelombang yang ideal
ini didasarkan pada asumsi bahwa gerbang logika merespon perubahan pada
masukannya dalam waktu nol. Diagram waktu tersebut berguna untuk
menunjukkan perilaku fungsional sirkuit logika. Namun, logika praktis gerbang
diimplementasikan menggunakan sirkuit elektronik yang perlu beberapa waktu
untuk mengubah keadaan mereka. Dengan demikian, ada penundaan antara
perubahan nilai input dan perubahan yang sesuai pada nilai output dari gerbang.
Dalam bab-bab selanjutnya kita akan menggunakan diagram waktu yang
menggabungkan penundaan tersebut.
Timing diagram digunakan untuk berbagai tujuan. Mereka
menggambarkan perilaku sirkuit logika dalam bentuk yang dapat diamati ketika
rangkaian diuji dengan menggunakan instrumen seperti logika nalyzers dan
osiloskop.Mereka juga sering dihasilkan oleh alat CAD untuk menunjukkan
pada desainer bagaimana sirkuit yang diberikan diharapkan berperilaku
baiksebelum benar-benar dibuat secara elektronik. Kita akan memperkenalkan
alat CAD dalam bab selanjutnyaini dan akan memanfaatkannya dalam buku ini.

12



2.4.3 Jaringan fungsional Setara
Sekarang perhatikan jaringan pada gambar 2.10d. melalui prosedur
analisis yang sama, kita menemukan bahwa output G perubahan dengan cara
yang persis sama seperti F dalam bagian (a) dari gambar. Oleh karena itu, G
(x1, x2) = F (x1, x2), yang menunjukkan bahwa dua jaringan secara
fungsional setara; perilaku Output dari kedua jaringan diwakilioleh tabel
kebenaran pada gambar 2.10b. Karena kedua jaringan menyadari fungsi yang
sama, masuk akal untuk menggunakan satu sederhana, yang lebih murah
untuk diimplementasikan. Secara umum, fungsi logika dapat
diimplementasikan dengan berbagai jaringan yang berbeda, mungkin memiliki
biaya yang berbeda. Hal ini menimbulkan pertanyaan penting: bagaimana
seseorang menemukan implementasi terbaik untuk fungsi tertentu? Banyak
teknik yang ada untuk sintesis fungsi logika. Kami akan membahas
pendekatan utama dalam bab 4. Untuk saat ini, kita harus memperhatikan
bahwa beberapa manipulasi diperlukan untuk mengubah jaringan yang lebih
kompleks pada gambar 2.10d karena,
Dan harus ada beberapa aturan yang dapat digunakan
untuk menunjukkan kesetaraan tersebut.

13

kami telah menetapkan kesetaraan ini melalui perincian analisa dua sirkuit dan
konstruksi dari tabel kebenaran. Tapi hasil yang sama dapat dicapai melalui
manipulasi aljabar dari ekspresi logika. Pada bagian berikutnya kita akan membahas
pendekatan matematis untuk menangani fungsi logika, yang menyediakan dasar
untuk teknik desain modern.

2.5 ALJABAR BOOLEN
Pada tahun 1849 George Boole menerbitkan skema untuk deskripsi aljabar dari
proses yang terlibat dalam pemikiran logis dan penalaran (1). selanjutnya, skema ini
dikembangkan lebih lanjut yang dikenal sebagai Boolen aljabar. hampir 100 tahun
kemudian aljabar ini menemukan aplikasi dalam arti rekayasa. di akhir 1930-an
claude shannon menunjukkan bahwa aljabar Boolen memberikan cara yang efektif
untuk menggambarkan sirkuit dibangun dengan saklar (2). aljabar bisa, karena itu,
digunakan untuk menggambarkan rangkaian logika. kami akan menunjukkan bahwa
aljabar ini adalah alat yang ampuh yang dapat digunakan untuk merancang dan
menganalisa sirkuit logika. pembaca akan datang untuk menghargai bahwa ia
menyediakan dasar bagi banyak teknologi digital modern kita.

A. Aksioma Aljabar Boolean
Seperti aljabar apapun, aljabar boolean didasarkan pada seperangkat aturan
yang berasal dari sejumlah kecil asumsi dasar. asumsi ini disebut aksioma. mari
kita asumsikan bahwa aljabar boolean B melibatkan unsur-unsur yang mengambil
salah satu dari dua nilai, 0 dan 1 menganggap bahwa aksioma berikut ini benar:



14

B. Teorema variabel tunggal
Dari aksioma kita dapat mendefinisikan beberapa aturan untuk menangani
variabel. Aturan-aturan ini yang sering disebut teorema. Jika x adalah variabel
dalam b, maka teorema berikut:

Sangat mudah untuk membuktikan keabsahan dari teorema dengan induksi
sempurna, yaitu, berdasarkan subsitusting nilai-nilai x = 0 dan x = 1 ke dalam
ekspresi dan menggunakan aksioma yang diberikan di atas. Misalnya, dalam
teorema 5a, jika x = 0, maka teorema menyatakan bahwa 0. 0 = 0, yang benar
menurut aksioma 1a. sama, jika x = 1, maka teorema 5a menyatakan bahwa 1,0 =
0, yang juga benar menurut aksioma 3a. pembaca harus memastikan bahwa
teorema 5a sampai 9 dapat dibuktikan dengan cara ini

C. Dualitas
Perhatikan bahwa kami telah mendaftarkan aksioma dan teorema variabel
tunggal berpasangan, hal ini dilakukan untuk mencerminkan prinsip penting dari
dualitas. diberi logika ekspresi, dual diperoleh dengan mengganti semua operator
+ dengan operator. , dan sebaliknya. Dan dengan mengganti semua o s dengan 1s
dan sebaliknya. Dual dari setiap pernyataan yang benar (aksioma atau teorema)
dalam aljabar Boolean juga merupakan pernyataan yang benar. Pada titik ini
dalam diskusi, pembaca tidak akan menghargai mengapa dualitas adalah konsep
yang berguna. Namun, konsep ini akan menjadi jelas dalam bab selanjutnya,
ketika kita akan menunjukkan bahwa dualitas menyiratkan bahwa setidaknya dua
cara yang berbeda ada untuk mengekspresikan setiap fungsi logika dengan aljabar
15

Boolean. Seringkali, satu ekspresi mengarah ke pelaksanaan fisik sederhana
daripada yang lain dan benar disukai.

D. Dua dan tiga - sifat variabel
Untuk memungkinkan kita untuk berurusan dengan sejumlah variabel ini
berguna untuk mendefinisikan beberapa dua dan tiga variabel identitas aljabar.
Untuk setiap identitas, versi dual juga diberikan. identitas ini sering dirujuk
sebagai properti. Mereka dikenal dengan nama yang ditunjukkan di bawah. Jika x,
y, dan z adalah variabel dalam B, maka sifat-sifat berikut terus:


Sekali lagi, kita dapat membuktikan keabsahan sifat ini baik dengan induksi
sempurna atau dengan melakukan manipulasi algerbraic. Gambar 2.11
menggambarkan bagaimana induksi yang sempurna dapat digunakan untuk
membuktikan teorema Demorgans, menggunakan format tabel kebenaran.
Evaluasi dari kiri dan sisi kanan dari identitas 15a memberikan hasil yang sama.
16

Kami telah mendaftarkan sejumlah aksioma, teorema, dan properti. Tidak
semua ini diperlukan untuk menentukan aljabar Boolean. Misalnya, dengan
asumsi bahwa operasi + dan . didefinisikan, itu sudah cukup untuk memasukkan
teorema 5 dan 8 sifat 10 dan 12 ini kadang-kadang disebut sebagai postulat dasar
Huntington [3]. Identitas lainnya dapat diturunkan dari postulat tersebut.
Sebelumnya aksioma, teorema, dan properti memberikan informasi yang
diperlukan untuk menunjukkan manipulasi aljabar ekspresi yang lebih kompleks.
Mari kita buktikan keabsahan persamaan logika

Sisi kiri dapat dimanipulasi sebagai berikut. Menggunakan distribusi properti
12a, memberikan

Menerapkan distribusi properti lagi akan menghasilkan

Perhatikan bahwa distribusi properti memungkinkan ANDing istilah dalam
kurung dengan cara analog dengan perkalian dalam aljabar biasa. Selanjutnya,
menurut teorema 8a, istilah dan keduanya sama dengan 0 Oleh karena
itu,

Dari 6b berikut bahwa

Akhirnya, dengan menggunakan properti komutatif, 10a dan 10b, ini menjadi

Yang sama dengan sisi kanan dari persamaan awal.
Contoh 2.2
Pertimbangkan persamaan thelogic

Sisi kiri dapat dimanipulasi sebagai berikut
17



Sisi kanan dapat dimanipulasi sebagai


Mampu memanipulasi kedua sisi persamaan awal menjadi ekspresi identik
menetapkan validitas dari persamaan. Perhatikan bahwa fungsi logika yang sama
diwakili oleh salah satu sisi kiri-atau kanan dari persamaan di atas; yaitu

Sebagai hasil dari manipulasi, kita telah menemukan ekspresi yang lebih
sederhana

Yang juga merupakan fungsi yang sama ekspresi sederhana ini akan
menghasilkan biay logika sirkuit yang murah yang dapat digunakan untuk
mengimplementasikan fungsi. Contoh 2.1 dan 2.2 menggambarkan tujuan dari
aksioma, teorema, dan properti sebagai mekanisme untuk manipulasi aljabar.
Bahkan contoh sederhana menunjukkan bahwa itu adalah berurusan dengan tidak
praktis ekspresi yang sangat kompleks dengan cara ini. Namun, teorema dan sifat
memberikan dasar untuk mengotomatisasi sintesis fungsi logika dalam alat CAD.
Untuk memahami apa yang dapat dicapai dengan menggunakan alat ini,
perancang harus menyadari konsep dasar.