Pembuktian Aljabar Boolean dengan Simulasi Gerbang Logika Logicly

Aljabar boolean adalah persamaan matematika yang digunakan untuk menyederhanakan gerbang logika. Mengapa harus menggunakan aljabar boolean? Aljabar boolean hanya memiliki dua variabel yaitu "1" dan "0", hal ini sangat erat hubungannya dengan sistem digital yang kita kenal selama ini. Sistem digital hanya mempunyai dua keadaan "ON" dan "OFF" bisa di representasikan dengan "1" dan "0". Kesamaan variabel antara aljabar boolean dan digital, menjadikan aljabar boolean tool yang sangat penting untuk menyederhanakan gerbang logika. Sedangkan gerbang logika sendiri menggunakan sistem digital.

Distributive Law

Ada beberapa hukum aljabar boolean (penjelasannya bisa di lihat di Teknologi Digital), diantaranya distributif. Perhatikan persaman berikut

Persamaan diatas akan kita buktikan dengan simulasi gerbang logika. Misal kita terapkan persamaan diatas ke bilangan desimal. Hasilnya sebagai berikut

Dengan menggunakan bilangan desimal, sifat distributif bisa dibuktikan.

Simulasi Logicly

Untuk membuktikan aljabar boolean, kita gunakan simulasi gerbang logika online. Buka web logic.ly. Buat simulasi menggunakan logicly. Langkah awal tambahkan komponen yang dibutuhkan (tutorial lengkap penggunaan logic.ly, bisa baca disini), kemudian hubungkan semua komponen sesuai dengan persamaan aljabar boolean yang akan kita buktikan. Simulasikan dan buat tabel kebenarannya.

Pada persamaan pertama A.(B+C). Ada 2 operasi matematika, perkalian dan penjumlahan. Ada 3 variabel A, B, C, sebagai input. Dan tentunya ada 1 output. Komponen yang dibutuhkan 3 toggle switch, 1 OR gate, 1 AND gate, 1 light bulb. Setelah dihubungkan, rangkaiannya seperti ini