Aljabar Boolean adalah cabang aljabar yang berhubungan dengan nilai-nilai kebenaran, yaitu benar (true) dan salah (false). Dinamai berdasarkan George Boole, matematikawan Inggris abad ke-19 yang merumuskan sistem logika ini dalam bukunya An Investigation of the Laws of Thought (1854). Awalnya hanya teori abstrak tentang penalaran, namun pada abad ke-20, aljabar Boolean menjadi fondasi universal bagi desain sirkuit digital, arsitektur komputer, dan pemrograman. Setiap perangkat digitaldari ponsel hingga superkomputerberoperasi di atas prinsip Boolean.
Dalam konteks modern, aljabar Boolean adalah bahasa logika biner: 0 (salah, false, low) dan 1 (benar, true, high). Tidak seperti aljabar biasa yang berurusan dengan bilangan real, Aljabar Boolean hanya mengenal dua nilai dan tiga operasi dasar: AND (konjungsi), OR (disjungsi), dan NOT (negasi). Dari tiga gerbang logika dasar ini, kita dapat membangun sistem kompleks seperti prosesor, memori, dan jaringan.
Aljabar boolean didefinisikan oleh himpunan B = {0, 1} yang dilengkapi dua operasi biner (+ untuk OR dan untuk AND) serta satu operasi uner (komplemen, ditulis ' atau overline). Operasi-operasi ini mengikuti aksioma-aksioma tertentu yang mirip dengan aljabar biasa, tetapi dengan perbedaan fundamental.
Operasi Dasar:
Dalam implementasi sirkuit, operasi ini direalisasikan sebagai gerbang logika. Aljabar Boolean juga mengenal konsep variabel Boolean, yang hanya bisa bernilai 0 atau 1. Ekspresi Boolean adalah kombinasi variabel dan operator, misalnya A + B C'. Nilai dari ekspresi ini bergantung pada nilai variabelnya.
Tabel kebenaran adalah alat untuk mendefinisikan fungsi Boolean secara eksplisit. Setiap baris mewakili satu kombinasi input, dan kolom terakhir menunjukkan output. Berikut contoh untuk fungsi F = A + B C:
| A | B | C | B C | F = A + (BC) |
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 |
| 0 | 0 | 1 | 0 | 0 |
| 0 | 1 | 0 | 0 | 0 |
| 0 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 1 |
| 1 | 0 | 1 | 0 | 1 |
| 1 | 1 | 0 | 0 | 1 |
| 1 | 1 | 1 | 1 | 1 |
Perhatikan bahwa operasi AND () memiliki prioritas lebih tinggi dari OR (+) jika tidak ada tanda kurung, mirip perkalian dalam aljabar biasa.
Salah satu kekuatan aljabar Boolean adalah serangkaian hukum yang memungkinkan penyederhanaan ekspresi. Hukum-hukum ini analog dengan hukum aljabar biasa, namun beberapa properti unik seperti hukum absorpsi dan hukum De Morgan sangat penting.
Hukum De Morgan sangat penting untuk mengubah ekspresi AND ke OR atau sebaliknya, terutama dalam perancangan sirkuit menggunakan gerbang NAND atau NOR universal.
Misalkan kita memiliki ekspresi: F = A'BC + A'BC' + ABC. Dengan menggunakan aljabar Boolean:
F = A'B(C + C') + ABC
= A'B(1) + ABC (karena C + C' = 1)
= A'B + ABC
= B(A' + AC)
= B(A' + C) (menggunakan hukum distributif dan absorbsi: A' + AC = A' + C)
= A'B + BC
Ekspresi akhir A'B + BC jauh lebih sederhana, menghemat gerbang logika dalam realisasi fisik.
Setiap fungsi Boolean dapat dinyatakan dalam bentuk Sum of Products (SOP) atau Product of Sums (POS). Bentuk kanonik SOP (disebut juga minterm) terdiri dari penjumlahan produk (AND) dari semua variabel, di mana setiap produk mengandung semua variabel input (bentuk asli atau komplemen). Sebagai contoh, fungsi F(A,B,C) = m(1,2,5,7) berarti output 1 pada baris 1,2,5,7 (dalam desimal).
Sebaliknya, bentuk POS (maxterm) menggunakan perkalian dari penjumlahan. Konversi antara tabel kebenaran dan bentuk kanonik sangat mudah. Alat seperti Karnaugh Map (K-Map) digunakan untuk menyederhanakan fungsi Boolean secara visual dengan mengelompokkan minterm yang berdekatan.
K-Map adalah tabel berbentuk grid yang memanfaatkan kode Gray (perubahan satu bit antar sel). Misalnya untuk 3 variabel, K-Map 2x4. Dengan mengelompokkan 1, 2, 4, atau 8 sel yang bertetangga, kita bisa mendapatkan ekspresi minimal. K-Map mengandalkan hukum idempoten dan absorbsi. Meskipun untuk 5 variabel ke atas K-Map menjadi rumit, metode komputer seperti Quine-McCluskey digunakan.
Contoh K-Map (3 variabel):
Misalkan F(A,B,C) = A'B'C + A'BC + AB'C + ABC. Setelah pengelompokan, hasil sederhana = C. (karena semua suku mengandung C dan variabel lainnya saling meniadakan). Dalam tabel kebenaran, output selalu 1 ketika C=1, terlepas dari A dan B.
Setiap ekspresi Boolean dapat diimplementasikan menggunakan gerbang logika digital. Gerbang dasar AND, OR, dan NOT dibangun dari transistor (biasanya CMOS). Dalam praktiknya, gerbang NAND dan NOR lebih sering digunakan karena sifatnya yang universal (setiap ekspresi Boolean hanya dapat diimplementasikan menggunakan NAND atau hanya NOR).
Sebagai contoh, gerbang XOR (exclusive OR) dapat dibuat dari kombinasi gerbang dasar: A XOR B = A'B + AB'. Sedangkan gerbang setara seperti (A + B)(A' + B') juga bisa digunakan. Dalam sirkuit terintegrasi, optimasi daya, kecepatan, dan jumlah transistor sangat penting.
Penerapan aljabar Boolean meluas ke berbagai level sistem komputer:
Kekuatan Aljabar Boolean terletak pada kesederhanaan dan kemampuannya untuk dimanipulasi secara aljabar. Semua sirkuit digital dapat direduksi menjadi ekspresi minimal, menghemat biaya dan daya. Namun, ada keterbatasan: aljabar Boolean hanya menangani nilai biner. Untuk sistem multi-nilai atau logika fuzzy, diperlukan perluasan seperti aljabar multi-nilai atau logika kabur. Selain itu, penyederhanaan manual bisa menjadi sangat kompleks untuk fungsi dengan banyak variabel; untuk itulah algoritma komputer dikembangkan.
Meskipun menggunakan simbol + dan , Aljabar Boolean sangat berbeda dengan aljabar bilangan real:
| Konsep | Aljabar Biasa | Aljabar Boolean |
|---|---|---|
| Nilai | Bilangan real tak terbatas | Hanya 0 dan 1 |
| Perkalian | Hasil kali biasa | AND |
| Penjumlahan | Penjumlahan biasa | OR |
| Negatif | Bilangan negatif | Komplemen (NOT) |
| Hukum distributif kedua | A + (BC) (A+B)(A+C) umumnya | Berlaku: A + BC = (A+B)(A+C) |
| Idempoten | A + A = 2A | A + A = A |
Perbedaan ini mengingatkan kita bahwa aljabar Boolean bukanlah aljabar bilangan, melainkan aljabar himpunan atau logika.
Aljabar Boolean memiliki hubungan erat dengan teori himpunan dan logika proposisional. Dalam himpunan, OR ekuivalen dengan gabungan (union), AND dengan irisan (intersection), NOT dengan komplemen himpunan. Himpunan semesta adalah 1, himpunan kosong adalah 0. Sementara dalam logika proposisional, variabel Boolean mewakili pernyataan, dan operasi Boolean sesuai dengan konjungsi, disjungsi, dan negasi. Tabel kebenaran sama dengan tabel nilai kebenaran logika.
Aljabar Boolean bukan hanya abstraksi matematis, melainkan bahasa yang memungkinkan kita merancang dan memahami dunia digital. Setiap klik tombol, setiap perhitungan CPU, setiap transmisi data di jaringan, pada akhirnya dimungkinkan oleh manipulasi sinyal biner yang mengikuti hukum Boolean. Tanpa aljabar Boolean, kompleksitas sistem digital modern tidak akan terkelola. Meskipun telah berusia lebih dari 150 tahun, aljabar ini tetap menjadi pilar tak tergantikan dalam ilmu komputer dan teknik elektro.
Bagi mahasiswa dan praktisi, menguasai aljabar Boolean berarti memiliki kemampuan untuk menyederhanakan masalah, mengoptimalkan desain, dan memahami dasar-dasar logika digital. Dengan pemahaman yang kuat, seseorang dapat membaca skema rangkaian, menulis kode yang efisien, atau bahkan merancang prosesor sederhana.
Dengan demikian, aljabar Boolean adalah jembatan antara logika abstrak dan dunia fisik sistem digitalsebuah prestasi intelektual yang mengubah peradaban manusia.
