Aljabar Boole

1. Definisi Aljabar Boole

Aljabar Boole adalah cabang matematika yang mempelajari operasi logika pada nilai kebenaran yang hanya memiliki dua kemungkinan: 0 (salah) dan 1 (benar). Diperkenalkan oleh George Boole pada tahun 1854 dalam karya An Investigation of the Laws of Thought, aljabar ini menjadi dasar teoretis bagi rangkaian digital, komputer, dan sistem logika formal.

Dalam aljabar Boole, variabel-variabel biasanya dilambangkan dengan huruf alfabet (misalnya A, B, X) dan operasinya meliputi konjungsi (AND), disjungsi (OR), serta negasi (NOT). Nilainilai ini dapat direpresentasikan dalam tabel kebenaran (truth table) yang memudahkan analisis logika.

2. Operasi Dasar

2.1. Konjungsi (AND)

Simbol: A B atau A B. Hasilnya 1 hanya bila kedua operand bernilai 1.

2.2. Disjungsi (OR)

Simbol: A B atau A + B. Hasilnya 1 bila paling tidak satu operand bernilai 1.

2.3. Negasi (NOT)

Simbol: A atau . Membalik nilai logika; 0 menjadi 1 dan sebaliknya.

3. Hukum-Hukum Pokok

Beberapa hukum penting yang berlaku dalam aljabar Boole antara lain:

• Identitas: A 1 = A, A 0 = A
• Dominasi: A 0 = 0, A 1 = 1
• Idempotensi: A A = A, A A = A
• Komutatif: A B = B A, A B = B A
• Asosiatif: (A B) C = A (B C), (A B) C = A (B C)
• Distributif: A (B C) = (A B) (A C), A (B C) = (A B) (A C)
• De Morgan: (A B) = A B, (A B) = A B
• Komplement: A A = 0, A A = 1

4. Aplikasi Aljabar Boole

Aljabar Boole tidak hanya bersifat teoritis; penggunaannya meluas ke bidang-bidang praktis:

4.1. Rangkaian Digital

Gerbang logika (AND, OR, NOT, NAND, NOR, XOR, XNOR) adalah implementasi fisik dari operasi Boolean yang membentuk sirkuit terpadu (IC) pada komputer, smartphone, dan perangkat elektronik lainnya.

4.2. Pemrograman Komputer

Struktur pengkondisian (if, while, for) menggunakan ekspresi Boolean untuk mengendalikan alur program.

4.3. Basis Data

Operasi pencarian dan filter menggunakan logika Boolean (AND, OR, NOT) pada kueri SQL atau mesin pencari.

4.4. Kecerdasan Buatan

Pada logika fuzzy dan sistem pakar, nilai Boolean dapat diperluas menjadi nilai kebenaran antara 0 dan 1, namun prinsip dasar tetap berakar pada aljabar Boole.

4.5. Teori Informasi

Entropi dan kode biner menggunakan operasi Boolean untuk mengoptimalkan penyimpanan dan transmisi data.

5. Referensi

• G. Boole, An Investigation of the Laws of Thought, 1854.
• D. E. Knuth, The Art of Computer Programming, Vol. 1, 3rd ed., 1997.
• M. Mano, Digital Logic and Computer Design, 5th ed., 2018.
• W. Stallings, Computer Organization and Architecture, 10th ed., 2020.