Kalkulator Aljabar Boolean

Sebuah kalkulator aljabar boolean mengevaluasi dan menyederhanakan ekspresi logika menggunakan aturan-aturan aljabar boolean.

Alat ini menghasilkan tabel kebenaran yang menampilkan setiap kombinasi input/output, mengidentifikasi minterm dan maksterm, serta menerapkan algoritma minimisasi seperti Quine-McCluskey untuk menemukan ekspresi ekuivalen yang paling sederhana.

Kalkulator ini mendukung berbagai gaya notasi:

• AND (*, ·, AND, &&)
• OR (+, OR, ||)
• NOT (', !, ~, NOT)
• XOR (^, XOR)
• NAND
• NOR
• XNOR

Variabel ditulis dengan satu huruf dari A hingga D. Tanda kurung didukung untuk pengelompokan.

Contoh: A*B+C', (A OR B) AND NOT C, A NAND B.

Untuk menyederhanakan ekspresi boolean, terapkan hukum-hukum aljabar yang berlaku pada logika biner hingga tidak ada lagi penyederhanaan yang memungkinkan.

Mulailah dengan hukum identitas dan komplemen (A + A' = 1, A · A' = 0), lalu gunakan absorpsi (A + A·B = A) dan distributif untuk memfaktorkan variabel yang sama. Teorema De Morgan mengubah kelompok yang terkomplemen, dan teorema konsensus menghilangkan suku yang redundan. Untuk hasil yang sistematis, buat daftar minterm dan gabungkan suku yang hanya berselisih satu bit.

Sebagaimana diperkenalkan oleh George Boole dalam karyanya tahun 1854, menurut Encyclopaedia Britannica, hukum-hukum ini membentuk aljabar tertutup di mana setiap ekspresi dapat direduksi ke bentuk minimal (tidak selalu unik). Kalkulator ini menampilkan setiap aturan yang diterapkan secara berurutan.

Sebuah tabel kebenaran memuat setiap kombinasi variabel input yang mungkin beserta output yang dihasilkan, memberikan definisi menyeluruh dari suatu fungsi boolean.

Untuk n variabel terdapat 2^n baris, sehingga dua variabel menghasilkan 4 baris dan empat variabel menghasilkan 16 baris; sebaliknya, jumlah variabel sama dengan logaritma basis 2 dari jumlah baris, yang dapat dievaluasi oleh kalkulator logaritma kami untuk fungsi yang lebih besar. Urutkan input dalam urutan hitungan biner standar (00, 01, 10, 11) dan evaluasi ekspresi untuk setiap baris.

Berdasarkan standar IEEE untuk operasi logika, kolom output sepenuhnya mengarakterisasi fungsi tersebut terlepas dari bagaimana ekspresi dituliskan. Alat ini otomatis membuat tabel kebenaran, lalu menurunkan minterm (baris bernilai 1) dan maksterm (baris bernilai 0) secara langsung darinya.

Sum of Products (SOP) menyatakan fungsi boolean sebagai operasi OR dari suku-suku AND, dengan satu minterm untuk setiap baris yang menghasilkan keluaran bernilai 1. Product of Sums (POS) adalah kebalikannya: operasi AND dari suku-suku OR, dengan satu maxterm untuk setiap baris yang menghasilkan keluaran bernilai 0.

Keduanya merupakan bentuk kanonik yang mendeskripsikan fungsi yang sama, dan keduanya dapat diminimalkan. Buku teks perancangan digital seperti yang dirujuk oleh All About Circuits mencatat bahwa SOP secara alami dipetakan ke jaringan gerbang AND-OR dua tingkat, sedangkan POS dipetakan ke jaringan OR-AND.

Pilihlah bentuk mana pun yang menghasilkan gerbang logika lebih sedikit untuk rangkaian Anda. Kalkulator ini menampilkan kedua bentuk kanonik beserta SOP yang telah disederhanakan untuk perbandingan.

Sebuah peta Karnaugh adalah kisi yang menyusun keluaran tabel kebenaran sehingga sel yang bersebelahan secara fisik hanya berbeda tepat satu variabel, menggunakan urutan kode Gray (00, 01, 11, 10).

Keterdekatan ini memungkinkan Anda mengelompokkan angka 1 secara visual dalam blok persegi panjang berukuran perpangkatan dua (1, 2, 4, 8) untuk mengeliminasi variabel dan membaca bentuk SOP minimal.

Dinamai dari Maurice Karnaugh yang memublikasikan teknik ini pada tahun 1953, peta K sangat praktis digunakan hingga empat atau lima variabel sebelum keterdekatan antarsel menjadi sulit dipantau. Kalkulator ini menampilkan peta berkode warna yang menyorot setiap minterm sehingga Anda dapat mengonfirmasi hasil algoritmik secara visual.

Metode Quine-McCluskey adalah prosedur tabular yang menjamin bentuk Sum of Products paling minimal, menjadikannya lebih andal daripada peta Karnaugh untuk fungsi dengan banyak variabel.

Metode ini mencantumkan setiap minterm dalam format biner, mengelompokkannya berdasarkan jumlah bit bernilai 1, lalu menggabungkan suku-suku yang hanya berbeda satu bit secara berulang, serta menandai posisi yang dieliminasi dengan tanda minus. Suku yang tidak dapat digabungkan lebih lanjut disebut prime implicant. Tabel prime implicant kemudian memilih himpunan terkecil dari prime implicant esensial yang mencakup seluruh minterm.

Karena bersifat algoritmik, metode ini tetap andal saat metode visual mulai kewalahan, itulah sebabnya metode ini mendasari banyak alat sintesis logika otomatis dalam alur kerja EDA modern.

Teorema De Morgan menyatakan bahwa (A·B)' = A' + B' dan (A+B)' = A'·B' — memberikan komplemen pada suatu kelompok akan membalikkan operator dan menginversi masing-masing variabel. Hukum-hukum ini merupakan fondasi untuk mengubah rangkaian apa pun ke dalam bentuk gerbang NAND saja atau NOR saja.

NAND dan NOR disebut gerbang universal karena fungsi boolean apa pun dapat dibangun seutuhnya hanya dari salah satu gerbang tersebut, sebuah karakteristik yang banyak dimanfaatkan dalam fabrikasi chip untuk mengurangi variasi jenis transistor. Seperti yang dicatat dalam rujukan logika digital standar, sifat universal ini mempermudah proses manufaktur dan pengujian.

Kalkulator ini menerapkan hukum De Morgan secara otomatis ketika Anda memasukkan operator NAND, NOR, atau XNOR, lalu menampilkan ekspansi setara dalam bentuk AND/OR/NOT.

Aljabar Boolean diterapkan jauh melampaui buku teks. Insinyur perangkat keras menggunakannya untuk meminimalkan jumlah gerbang dalam logika kombinasional pada CPU, FPGA, dan ASIC, yang secara langsung menghemat daya serta memperkecil area chip.

Pengembang perangkat lunak memanfaatkan hukum yang sama untuk menyederhanakan pernyataan kondisional, mengoptimalkan logika percabangan kompilator, dan menulis kondisi if yang lebih bersih. Insinyur basis data menerjemahkan filter kueri menjadi predikat boolean, dan mesin pencari mengevaluasi operator AND/OR/NOT dengan prinsip yang sama.

Berdasarkan kurikulum ilmu komputer yang dirangkum oleh Khan Academy, logika boolean adalah fondasi dari pemrosesan seluruh informasi digital. Kalkulator ini mendukung hingga empat variabel, mencakup sebagian besar soal ujian logika kombinasional serta tugas penyederhanaan sehari-hari.

Menyederhanakan ekspresi boolean rentan terhadap beberapa kesalahan umum:

• Kesalahan paling sering adalah mengacaukan OR (+) dengan penjumlahan aritmetika — dalam aljabar boolean 1 + 1 = 1, bukan 2.
• Kesalahan lainnya adalah menghilangkan tanda kurung, yang mengubah prioritas operator dan menghasilkan fungsi yang berbeda; NOT memiliki prioritas tertinggi, disusul AND, lalu OR.
• Pelajar sering kali berhenti menyederhanakan terlalu cepat, melewatkan suku konsensus atau hukum absorpsi yang dapat menghilangkan satu variabel utuh, atau justru berhenti terlalu lambat sehingga terjadi pemfaktoran berlebih menjadi ekspresi yang lebih panjang.
• Salah mengurutkan kolom peta Karnaugh (menggunakan urutan biner 00, 01, 10, 11 alih-alih kode Gray 00, 01, 11, 10) merusak keterdekatan sel dan menghasilkan pengelompokan yang keliru.

Selalu verifikasi hasil penyederhanaan terhadap tabel kebenaran aslinya, yang dilakukan secara otomatis oleh kalkulator ini untuk mendeteksi kesalahan tersebut.

Ketika sebuah ekspresi memuat campuran operator tanpa tanda kurung lengkap, aljabar boolean mengevaluasi NOT terlebih dahulu, lalu AND, kemudian OR, sama seperti perkalian yang mendahului penjumlahan dalam aritmetika biasa.

Jadi, A + B·C berarti A OR (B AND C), dan A·B' berarti A AND (NOT B), bukan (A AND B)'. XOR biasanya berada pada tingkat yang sama dengan AND atau di bawahnya, sehingga tanda kurung sangat disarankan setiap kali XOR digabungkan dengan operator lain untuk menghindari kerancuan.

Urutan presedensi ini mengikuti konvensi standar dalam rujukan logika digital dan notasi IEEE. Agar aman, apit sub-ekspresi penting dengan tanda kurung; kalkulator akan selalu memprioritaskan tanda kurung eksplisit di atas presedensi default.