Sudah bukan rahasia lagi, kalau persamaan aljabar boolean bisa direpresentasikan ke dalam rangkaian logika. Jika dalam artikel
ini sudah dijelaskan bagaimana cara menguji tabel kebenaran menggunakan aplikasi WinBreadBoard dan aplikasi online
123D Circuits, nah, di artikel berikut, kita akan membuktikan aturan-aturan boolean menggunakan aplikasi tersebut juga lho.
Sebelumnya, kamu tau gak aljabar boolean itu seperti apa? Aljabar Boolean itu, memuat aturan-aturan umum (postulat) yang menyatakan hubungan antara input-input suatu rangkaian logika dengan output-outputnya. Dalam aljabar boolean, terdapat aturan-aturan yang dinyatakan dalam sebuah persamaan Boolean. Berikut merupakan tabel aturan-aturan boolean:
|
Aturan-Aturan Boolean |
Disini kita hanya akan membuktikan aturan Distributive, De Morgan, dan Absorption.
Distributive
- X.(Y+Z) = (X.Y)+(X.Z)
Persamaan aljabar boolean diatas memiliki tabel kebenaran dan gambar rangkaian logika seperti berikut:
Aturan diatas bisa dibuktikan menggunakan simulasi melalui 123D Circuits.