Kalkulator Penyederhana Aljabar Boolean

Penyederhanaan Aljabar Boolean Menggunakan Metode Quine–McCluskey

Alat ini dirancang untuk mereduksi ekspresi Boolean apa pun ke bentuk matematisnya yang paling sederhana. Pengguna cukup mengetik atau menempelkan ekspresi Boolean ke dalam kolom input, dan sistem akan langsung menghitung serta menampilkan bentuk jumlah produk (SOP) minimal dan produk jumlah (POS) minimal. Bersamaan dengan hasil penyederhanaan tersebut, alat ini menyediakan rincian langkah demi langkah tentang bagaimana penyederhanaan dicapai menggunakan metode Quine–McCluskey, mencantumkan semua implikan prima, serta menghasilkan tabel kebenaran baris demi baris untuk memverifikasi hasil penyederhanaan terhadap ekspresi asli.

Proses minimalisasi ini menggunakan metode Quine–McCluskey (cakupan minimum persis). Berbeda dengan metode heuristik, algoritma ini menjamin penemuan bentuk yang benar-benar minimal. Algoritma bekerja dengan menyusun tabel kebenaran lengkap, mengelompokkan minterm berdasarkan jumlah angka satu, dan menggabungkan baris-baris yang bertetangga untuk mengeliminasi variabel yang tidak perlu hingga menyisakan implikan prima. Dari kumpulan implikan prima tersebut, sistem menentukan implikan prima esensial yang wajib ada untuk mencakup seluruh baris bernilai 1, lalu menyelesaikan sisa baris yang belum tercakup dengan kombinasi suku tambahan paling sedikit.

Format Input dan Batasan Ekspresi

Alat ini menerima variabel yang ditulis sebagai huruf tunggal. Operator dapat ditulis dalam berbagai gaya penulisan—baik gaya teknik, gaya pemrograman, simbol logika, maupun kata biasa—dan dapat dicampur secara bebas:

• AND: Dapat ditulis secara implisit (misalnya AB), menggunakan titik A·B, tanda bintang A*B, kata A AND B, operator pemrograman A && B, atau simbol logika. Rangkaian beberapa huruf seperti ABC akan langsung dibaca sebagai A AND B AND C.
• OR: Ditulis sebagai A + B, A OR B, A || B, atau simbol logika.
• NOT: Ditulis sebagai A', !A, NOT A, ¬A, atau simbol prima.
• XOR: Ditulis sebagai A ^ B, A XOR B, atau A ⊕ B.
• NAND: Ditulis sebagai A NAND B atau ⊼.
• NOR: Ditulis sebagai A NOR B atau ⊽.
• Konstanta: Angka 0 dan 1 diperbolehkan di dalam ekspresi.

Untuk menjaga kejelasan visual dan kinerja komputasi di dalam browser, alat ini menerapkan batasan berikut:

• Jumlah Variabel: Maksimal 6 variabel unik yang berbeda. Jika input menggunakan lebih dari 6 variabel, sistem akan menampilkan pesan kesalahan: "Ekspresi ini menggunakan ‹count› variabel berbeda; penyederhana mendukung hingga 6 variabel.".
• Panjang Karakter: Input ekspresi harus di bawah 2,000 karakter. Jika melebihi batas ini, sistem memicu pesan kesalahan: "Jaga agar ekspresi tetap di bawah 2,000 karakter.".

Memahami Output dan Panel Diagnostik

Setelah ekspresi dimasukkan, alat ini menampilkan beberapa panel informasi terstruktur:

1. Dibaca sebagai: Menampilkan interpretasi ternormalisasi dari ekspresi input untuk memastikan sistem membaca operator dan variabel dengan benar.
2. Bentuk Minimal:
   • Jumlah produk (SOP) minimal: Hasil penyederhanaan dalam bentuk penjumlahan dari perkalian (suku-suku AND yang dihubungkan oleh OR).
   • Produk jumlah (POS) minimal: Hasil penyederhanaan dalam bentuk perkalian dari penjumlahan (faktor-faktor OR yang dihubungkan oleh AND).
3. Sekilas: Panel diagnostik yang merangkum parameter teknis penyederhanaan:
   • Variabel: Daftar variabel yang terdeteksi di dalam ekspresi.
   • Baris yang bernilai 1: Daftar atau jumlah minterm dari ekspresi.
   • Implikan prima: Jumlah total implikan prima yang ditemukan.
   • Implikan prima esensial: Jumlah implikan prima esensial yang wajib ada dalam cakupan.
   • Literal, sebelum → sesudah: Perbandingan jumlah literal dalam ekspresi sebelum dan sesudah disederhanakan.
   • Metode: Menampilkan "Quine–McCluskey, cakupan minimum persis".

Penjabaran Langkah Penyederhanaan

Pada bagian Bagaimana ini disederhanakan, alat ini menyusun narasi matematis yang menjelaskan seluruh proses rekonstruksi fungsi:

• Analisis Variabel: Sistem menyatakan jumlah variabel dan baris tabel kebenaran, misalnya: "Ekspresi menggunakan ‹count› variabel (‹variables›), sehingga tabel kebenaran memiliki ‹rows› baris." atau "Ekspresi menggunakan satu variabel, ‹variables›, sehingga tabel kebenaran memiliki ‹rows› baris.". Jika tidak ada variabel, akan muncul: "Ekspresi tidak menggunakan variabel, sehingga menghasilkan konstanta tunggal.".
• Pemetaan Minterm dan Maxterm: Menentukan posisi nilai keluaran: "Bernilai 1 pada baris Σm(‹minterms›) dan 0 pada baris ΠM(‹maxterms›).".
• Pencarian Implikan Prima: Menjelaskan hasil penggabungan baris: "Menggabungkan baris-1 yang bertetangga sejauh mungkin menyisakan ‹count› implikan prima: ‹list›.".
• Identifikasi Implikan Esensial: Menentukan implikan utama: "Implikan prima esensial — satu-satunya cakupan yang tersisa untuk setidaknya satu baris: ‹list›." atau jika tidak ada yang dominan: "Tidak ada implikan prima yang esensial: setiap baris-1 dapat dicakup dengan lebih dari satu cara.".
• Penyelesaian Cakupan: Jika masih ada baris yang tersisa: "Baris yang masih belum tercakup ditutup dengan suku tambahan paling sedikit: ‹list›." Namun, jika semua sudah terpenuhi: "Implikan prima esensial sudah mencakup setiap baris-1, sehingga penjumlahan sudah lengkap.".
• Bentuk POS: Menjelaskan penurunan bentuk produk jumlah: "Menjalankan penggabungan yang sama pada baris-0 menghasilkan produk jumlah (POS) minimal ‹pos›.".
• Verifikasi Akhir: Memastikan keakuratan hasil: "Kedua bentuk minimal cocok dengan ekspresi asli pada semua ‹rows› baris tabel kebenaran.".

Penanganan Kasus Khusus dan Pesan Kesalahan

Alat ini memiliki logika bawaan untuk menangani ekspresi konstan dan kesalahan sintaksis:

• Tautologi (Selalu Bernilai 1): Jika ekspresi selalu bernilai benar untuk semua kombinasi input, sistem menampilkan pesan: "Ekspresi ini selalu bernilai 1: setiap kombinasi nilai membuatnya bernilai benar.". Status yang muncul adalah "Ekspresi ini konstan: selalu bernilai 1.".
• Kontradiksi (Selalu Bernilai 0): Jika ekspresi selalu bernilai salah, sistem menampilkan: "Ekspresi ini selalu bernilai 0: tidak ada kombinasi nilai yang membuatnya bernilai benar.". Status yang muncul adalah "Ekspresi ini konstan: selalu bernilai 0.".
• Sudah Minimal: Jika ekspresi yang dimasukkan tidak dapat disederhanakan lebih lanjut, sistem akan menyatakan: "Ekspresi Anda sudah berupa jumlah produk (SOP) minimal.".
• Kesalahan Karakter: Jika terdapat karakter ilegal, sistem memicu error: ""‹char›" (posisi ‹position›) bukan operator, variabel, atau konstanta Boolean.".
• Kesalahan Sintaksis: Jika ada operator tanpa operand: "Operator kehilangan operand di dekat posisi ‹position› — periksa apakah ada tanda + · atau ⊕ yang menggantung.".
• Tanda Kurung Tidak Seimbang: Jika tanda kurung buka dan tutup tidak cocok: "Tanda kurung tidak seimbang — tambahkan atau hapus tanda kurung.".

Privasi dan Pemrosesan Data

Keamanan data pengguna terjaga sepenuhnya selama menggunakan alat ini. Seluruh proses penyederhanaan ekspresi Boolean dilakukan secara langsung di dalam browser pengguna dan tidak pernah meninggalkan perangkat Anda. Tidak ada data input, ekspresi, atau hasil kalkulasi yang diunggah ke server luar.

Pertanyaan yang Sering Diajukan (FAQ)

Cara penulisan ekspresi apa saja yang dipahami?
Semua konvensi umum dapat dicampur secara bebas: gaya teknik (AB + A'C, dengan AND implisit dan tanda prima untuk NOT), gaya pemrograman (A &&!B || C, A ^ B), simbol logika (¬ ∧ ∨ ⊕ ⊼ ⊽), dan kata biasa (A AND B OR NOT C, NAND, NOR). Rangkaian beberapa huruf seperti ABC berarti A AND B AND C, dan kata AND, OR, NOT, XOR, NAND, NOR selalu dibaca sebagai operator.

Apa perbedaan antara hasil SOP dan POS?
Keduanya mendeskripsikan fungsi yang sama. Jumlah produk (SOP) menghubungkan suku-suku AND dengan operator OR, seperti AB' + BC, dan memetakan langsung ke sirkuit AND–OR; produk jumlah (POS) menghubungkan faktor-faktor OR dengan operator AND, seperti (A + B)(B' + C), dan memetakan ke sirkuit OR–AND. Tergantung pada fungsinya, salah satu bentuk dapat membutuhkan gerbang yang lebih sedikit daripada yang lain, sehingga alat ini selalu menampilkan keduanya.

Bagaimana bentuk minimal ditemukan?
Alat ini menyusun tabel kebenaran lengkap, menggabungkan baris-1 yang bertetangga menjadi implikan prima (metode Quine–McCluskey), mempertahankan yang esensial, dan menutup baris yang tersisa dengan cakupan minimum persis. Hasilnya dijamin minimal untuk bentuk jumlah produk (SOP) — ini bukan heuristik — dan prosedur yang sama pada baris-0 menghasilkan produk jumlah (POS).

Mengapa maksimal hanya 6 variabel yang didukung?
Enam variabel sudah menghasilkan tabel kebenaran 64 baris, yang merupakan batas maksimal untuk masih dapat dibaca dan diperiksa secara manual. Di luar itu, minimisasi secara teori tetap berfungsi, tetapi penjabaran langkah demi langkah dan tabel yang menjadi dasar halaman ini tidak lagi berguna sebagai bukti. Perangkat lunak desain logika dengan output file adalah pilihan yang lebih cocok untuk fungsi yang lebih luas.