Penyederhana Aljabar Boolean

Sederhanakan ekspresi Boolean dengan hukum aljabar, Quine-McCluskey, dan peta Karnaugh. Masukkan ekspresi AND, OR, NOT, XOR, NAND, NOR apa pun untuk bentuk SOP/POS minimal, tabel kebenaran, K-map, diagram gerbang, dan ekuivalen NAND-only.

Gratis digunakanTidak perlu mendaftarHasil instan

Penyederhana Aljabar BooleanCoba sekarang — gratis ▼

Embed Penyederhana Aljabar Boolean Widget

Tentang Penyederhana Aljabar Boolean

Penyederhana Aljabar Boolean mereduksi ekspresi logika apa pun ke bentuk minimalnya menggunakan algoritma Quine-McCluskey dan analisis Peta Karnaugh. Masukkan ekspresi dengan AND, OR, NOT, XOR, NAND, NOR (atau simbol seperti &, |, ~, ^, akhiran A'), dan langsung dapatkan tabel kebenaran lengkap, Peta Karnaugh berwarna dengan loop implikan prima, bagan implikan prima yang menandai hal-hal esensial, penurunan langkah demi langkah, dan implementasi setara NAND-saja serta NOR-saja.

Apa yang Dihasilkan Penyederhana Ini

📊

Tabel Kebenaran

Semua \(2^n\) kombinasi input dengan output ekspresi.

🗺️

Peta Karnaugh

Kisi Gray-code dengan setiap implikan prima yang digariskan.

🎯

SOP / POS Minimal

Literal paling sedikit, suku paling sedikit — bentuk optimal.

🧩

Implikan Prima

Dengan penanda esensial — ketahui mana yang diperlukan.

↑↓

Bentuk NAND/NOR

Setara gerbang universal untuk sintesis sirkuit.

↘

Langkah demi Langkah

Penjelasan penurunan Quine-McCluskey.

Hukum Aljabar Boolean — Referensi

Hukum	Bentuk OR	Bentuk AND
Identitas	\( A + 0 = A \)	\( A \cdot 1 = A \)
Null	\( A + 1 = 1 \)	\( A \cdot 0 = 0 \)
Idempoten	\( A + A = A \)	\( A \cdot A = A \)
Komplemen	\( A + \overline{A} = 1 \)	\( A \cdot \overline{A} = 0 \)
Negasi Ganda	\( \overline{\overline{A}} = A \)
Komutatif	\( A + B = B + A \)	\( A \cdot B = B \cdot A \)
Asosiatif	\( (A + B) + C = A + (B + C) \)	\( (A \cdot B) \cdot C = A \cdot (B \cdot C) \)
Distributif	\( A \cdot (B + C) = AB + AC \)	\( A + BC = (A+B)(A+C) \)
Absorpsi	\( A + AB = A \)	\( A(A + B) = A \)
De Morgan	\( \overline{A + B} = \overline{A} \cdot \overline{B} \)	\( \overline{A \cdot B} = \overline{A} + \overline{B} \)
Konsensus	\( AB + \overline{A}C + BC = AB + \overline{A}C \)

Lembar Contekan Sintaks Input

Operator	Bentuk yang Diterima	Contoh
AND	`&`, `*`, `·`, `.`, penggabungan `AB`, kata `AND`, `∧`	`A&B`, `AB`, `A AND B`
OR	`+`, `\|`, kata `OR`, `∨`	`A+B`, `A \| B`, `A OR B`
NOT	`~`, `!`, `¬`, kata `NOT`, akhiran `'`	`~A`, `!A`, `A'`, `(AB)'`
XOR	`^`, `⊕`, kata `XOR`	`A XOR B`, `A^B`
NAND	`⊼`, kata `NAND`	`A NAND B`
NOR	`⊽`, kata `NOR`	`A NOR B`
Implikasi	`->`, `=>`, kata `IMPLIES`, `→`	`A -> B`
Ekuivalensi	`<->`, `<=>`, kata `IFF`, `↔`	`A <-> B`
Konstanta	`0` `1` `TRUE` `FALSE`	`A + 0`, `A * 1`

Algoritma Quine-McCluskey

Metode Quine-McCluskey adalah pendekatan tabular yang sistematis untuk menemukan ekspresi Sum-of-Products minimal. Tidak seperti Peta Karnaugh (yang bersifat visual dan terbatas pada sekitar 6 variabel), Quine-McCluskey dapat diskalakan dan selalu menghasilkan cakupan yang dijamin minimal.

Daftar semua minterm — setiap baris tabel kebenaran yang bernilai 1.
Kelompokkan berdasarkan jumlah satu-bit — urutkan minterm berdasarkan jumlah angka 1 dalam representasi binernya.
Gabungkan grup yang berdekatan — pasangan yang berbeda tepat satu bit digabungkan, mengganti bit tersebut dengan tanda hubung. Ulangi sampai tidak ada lagi kombinasi yang dimungkinkan.
Kumpulkan implikan prima — suku apa pun yang tidak pernah digabungkan lebih lanjut adalah implikan prima.
Bangun bagan implikan prima — kisi dengan implikan prima sebagai baris dan minterm sebagai kolom. Tandai implikan mana yang mencakup minterm mana.
Pilih implikan prima esensial — implikan prima apa pun yang merupakan satu-satunya yang mencakup beberapa minterm adalah esensial.
Cakup minterm yang tersisa — pilih implikan prima tambahan untuk mencakup minterm yang belum tercakup oleh esensial, dengan meminimalkan jumlah literal.

Cara Menggunakan Penyederhana Aljabar Boolean

Masukkan ekspresi: Ketik ekspresi Boolean apa pun menggunakan notasi yang Anda sukai. Anda dapat mencampur gaya — A.B + A'C dan A AND B OR NOT A AND C diurai secara identik.
Klik Sederhanakan: Alat ini mengurai, membangun tabel kebenaran, menjalankan Quine-McCluskey, dan meminimalkan ekspresi.
Pelajari Peta K: Setiap loop berwarna adalah implikan prima. Implikan esensial digambar dengan garis solid, non-esensial dengan garis putus-putus.
Tinjau langkah-langkahnya: Panel langkah demi langkah berjalan dari SOP kanonik melalui penemuan implikan prima hingga bentuk minimal.
Periksa bentuk setara: Gunakan POS minimal ketika teknologi target Anda adalah OR-of-AND, atau bentuk NAND-saja saat menargetkan silikon berbasis NAND.

Aplikasi

Bidang	Kasus Penggunaan
Desain Sirkuit Digital	Meminimalkan jumlah gerbang dalam logika kombinasional — lebih sedikit gerbang berarti daya lebih rendah, die lebih kecil, penundaan propagasi lebih singkat.
Optimasi Compiler	Menyederhanakan ekspresi kondisional dalam pernyataan if dan pelindung loop untuk mengurangi biaya evaluasi cabang.
Logika yang Dapat Diprogram (FPGA)	Memasukkan lebih banyak logika ke dalam tabel look-up yang tersedia dengan menghasilkan bentuk literal minimal.
Optimasi Kueri Database	Menulis ulang predikat klausa WHERE ke dalam bentuk yang setara tetapi lebih murah untuk dievaluasi.
Verifikasi Formal	Bentuk kanonik (SOP/POS) memungkinkan pengecekan ekuivalensi dari dua spesifikasi.
Pengajaran / Tugas Kuliah	Memverifikasi pekerjaan rumah, mempelajari pemilihan implikan prima, mengeksplorasi strategi pengelompokan Peta K.

FAQ

Apa itu penyederhanaan aljabar Boolean?

Penyederhanaan aljabar Boolean mereduksi ekspresi logika menjadi ekspresi setara dengan lebih sedikit operasi dan literal. Ekspresi yang lebih sederhana berarti lebih sedikit gerbang logika dalam perangkat keras, evaluasi lebih cepat dalam perangkat lunak, dan verifikasi manusia yang lebih mudah. Metode termasuk penerapan hukum aljabar, Peta Karnaugh, dan algoritma Quine-McCluskey — alat ini menggabungkan ketiganya.

Apa itu bentuk Sum-of-Products (SOP) minimal?

Bentuk Sum-of-Products minimal menuliskan fungsi Boolean sebagai OR dari sesedikit mungkin suku produk, di mana setiap produk menggunakan sesedikit mungkin literal. Ini ditemukan dengan memperluas fungsi ke SOP kanoniknya (satu minterm per baris benar), lalu menggabungkan minterm yang berdekatan menggunakan aturan \( XY + \overline{X}Y = Y \) sampai tidak ada lagi kombinasi yang dimungkinkan. Hasilnya adalah sirkuit AND-OR dua tingkat yang minimum.

Bagaimana cara kerja Peta Karnaugh?

Peta Karnaugh adalah kisi di mana baris dan kolom dilabeli dengan pola bit Gray-code sehingga sel yang berdekatan secara fisik berbeda tepat satu variabel. Kelompok sel-1 yang berdekatan dengan ukuran 1, 2, 4, atau 8 sesuai dengan suku produk yang mengeliminasi masing-masing 0, 1, 2, atau 3 variabel. Kelompok sebesar mungkin memberikan jumlah literal terkecil per suku — jadi strateginya adalah "cakup setiap 1 dengan persegi panjang legal terbesar."

Apa itu implikan prima?

Implikan prima adalah suku produk yang mencakup sekelompok minterm dan tidak dapat digabungkan dengan kelompok lain yang berdekatan untuk membentuk kelompok yang lebih besar. Implikan prima esensial adalah implikan yang merupakan satu-satunya implikan prima yang mencakup setidaknya satu minterm spesifik — ia harus muncul dalam setiap cakupan minimal. Implikan non-esensial bersifat opsional dan hanya disertakan jika diperlukan untuk mencakup minterm yang tersisa.

Sintaks input apa yang diterima penyederhana?

Anda dapat menulis AND sebagai &, *, ·, ., atau penggabungan sederhana (AB berarti A AND B). OR bisa berupa + atau |. NOT bisa berupa ~, !, ¬, atau tanda petik akhiran (A', (A+B)'). Operator kata AND OR NOT XOR NAND NOR IMPLIES IFF juga berfungsi, seperti halnya bentuk panah -> dan <->. Tanda kurung mengelompokkan sub-ekspresi. Konstanta 0 dan 1 (atau TRUE/FALSE) mewakili nilai tetap.

Mengapa bentuk NAND-saja dan NOR-saja berguna?

NAND dan NOR disebut gerbang universal karena fungsi Boolean apa pun dapat dibangun hanya dengan menggunakan salah satunya. Dalam silikon nyata, gerbang NAND biasanya yang paling cepat dan murah untuk difabrikasi, sehingga compiler untuk logika yang dapat diprogram sering kali menargetkan netlist NAND-saja. Penyederhana menunjukkan ekspresi setara NAND-saja dan NOR-saja — ekspresi NAND-saja dapat dibaca langsung sebagai sirkuit NAND-NAND dua tingkat, yang secara struktural identik dengan sirkuit AND-OR dalam teori pensakelaran.

Berapa banyak variabel yang didukung alat ini?

Hingga 8 variabel. Peta Karnaugh dirender untuk 2, 3, dan 4 variabel (ukuran kisi 2×2, 2×4, dan 4×4 dengan pelabelan Gray-code). Untuk 5+ variabel, tabel kebenaran tumbuh menjadi 32+ baris tetapi algoritma Quine-McCluskey masih menghasilkan bentuk minimal yang tepat — Peta K diabaikan karena peta 3D atau peta terpisah sulit dibaca.

Dapatkah saya memeriksa apakah dua ekspresi Boolean setara?

Ya — sederhanakan kedua ekspresi secara terpisah. Jika bentuk SOP minimal mereka identik, maka mereka menghitung fungsi yang sama. Anda juga dapat membandingkan tabel kebenaran mereka baris demi baris. Penyederhana mengeluarkan set minterm dan SOP kanonik, yang merupakan sidik jari unik dari fungsi tersebut.

Kutip konten, halaman, atau alat ini sebagai:

"Penyederhana Aljabar Boolean" di https://MiniWebtool.com/id/penyederhana-aljabar-boolean/ dari MiniWebtool, https://MiniWebtool.com/

oleh tim MiniWebtool. Diperbarui: 2026-04-19

API developer tersedia: Jalankan alat ini dari aplikasi, otomatisasi, atau agen Anda dengan satu permintaan HTTP JSON. Lihat dokumentasi API

Anda juga dapat mencoba Penyelesai Matematika AI GPT kami untuk menyelesaikan masalah matematika Anda melalui pertanyaan dan jawaban dalam bahasa alami.