Kalkulator Pemudah Algebra Boolean

Kurangkan sebarang ungkapan Boolean kepada bentuk hasil tambah produk dan produk hasil tambah minimumnya, berserta setiap implikan perdana dan semakan jadual kebenaran baris demi baris.

Ungkapan

Tulis pemboleh ubah sebagai huruf tunggal. AND boleh ditulis sebagai AB, A·B, A*B atau A AND B; OR ialah A + B atau A OR B; NOT ialah A', !A atau NOT A; XOR, NAND dan NOR juga berfungsi.
Sisipkan operator

Sehingga 6 pemboleh ubah berbeza dan 2,000 aksara. Pemalar 0 dan 1 dibenarkan.

Cuba satu ungkapan

Bentuk minimum

Bentuk minimum anda akan dipaparkan di sini

Taip ungkapan Boolean untuk melihat hasil tambah produk termudah, produk hasil tambah termudah, dan cara ia ditemui.

Taip ungkapan Boolean untuk mempermudahnya.

Ungkapan dipermudah dalam penyemak imbas ini dan tidak akan meninggalkan peranti anda.

Soalan Lazim

Apakah cara penulisan ungkapan yang difahami?

Semua konvensyen biasa boleh dicampur secara bebas: gaya kejuruteraan (AB + A'C, dengan AND tersirat dan tanda prima untuk NOT), gaya pengaturcaraan (A && !B || C, A ^ B), simbol logik (¬ ∧ ∨ ⊕ ⊼ ⊽) dan perkataan biasa (A AND B OR NOT C, NAND, NOR). Urutan berbilang huruf seperti ABC bermaksud A AND B AND C, dan perkataan AND, OR, NOT, XOR, NAND, NOR sentiasa dibaca sebagai operator.

Bagaimanakah bentuk minimum ditemui?

Alat ini membina jadual kebenaran penuh, menggabungkan baris-1 yang bersebelahan menjadi implikan perdana (kaedah Quine–McCluskey), mengekalkan implikan yang penting dan menutup mana-mana baris yang tinggal dengan liputan minimum yang tepat. Hasilnya dijamin minimum untuk bentuk hasil tambah produk (SOP) — ia bukan heuristik — dan prosedur yang sama pada baris-0 menghasilkan produk hasil tambah (POS).

Apakah perbezaan antara hasil SOP dan POS?

Kedua-duanya menerangkan fungsi yang sama. Hasil tambah produk (SOP) menggabungkan sebutan-AND menggunakan OR, seperti AB' + BC, dan dipetakan terus ke litar AND–OR; produk hasil tambah (POS) menggabungkan faktor-OR menggunakan AND, seperti (A + B)(B' + C), dan dipetakan ke litar OR–AND. Bergantung pada fungsi, satu bentuk mungkin memerlukan get yang lebih sedikit berbanding bentuk yang satu lagi, jadi alat ini sentiasa menunjukkan kedua-duanya.

Mengapakah maksimum 6 pemboleh ubah sahaja yang disokong?

Enam pemboleh ubah sudah menghasilkan jadual kebenaran 64 baris, yang merupakan had untuk masih boleh dibaca dan disemak secara manual. Di luar had itu, pengecilan masih berfungsi secara teori, tetapi langkah terbitan dan jadual yang dibina pada halaman ini tidak lagi berguna sebagai bukti. Perisian reka bentuk logik dengan output fail adalah lebih sesuai untuk fungsi yang lebih luas.

Ditulis dan disemak oleh pasukan editorial BroBroGo.Terakhir dikemas kini:

Pengenalan Algebra Boolean dan Kaedah Pengecilan

Algebra Boolean merupakan asas kepada reka bentuk logik digital dan sains komputer. Dalam sistem praktikal, ungkapan Boolean yang kompleks sering kali mengandungi lewah yang meningkatkan bilangan get logik dalam perkakasan atau melambatkan pelaksanaan kod dalam perisian. Pemudah Algebra Boolean ialah alat dalam talian percuma yang mengurangkan sebarang ungkapan Boolean kepada bentuk matematik yang paling ringkas.

Alat ini berfungsi dengan menerima ungkapan Boolean yang dimasukkan atau ditampal oleh pengguna, kemudian mengira dan memaparkan bentuk hasil tambah produk (SOP) minimum serta produk hasil tambah (POS) minimum secara serta-merta. Di samping bentuk yang dipermudah ini, alat ini menyediakan huraian langkah demi langkah tentang cara pengecilan dicapai menggunakan kaedah Quine–McCluskey, menyenaraikan semua implikan perdana, dan menghasilkan jadual kebenaran baris demi baris untuk mengesahkan hasil yang dipermudah berbanding ungkapan asal.

Proses pemudahan ini berlaku sepenuhnya secara tempatan. Ungkapan dipermudah dalam penyemak imbas ini dan tidak akan meninggalkan peranti anda. Tiada data yang dimuat naik ke pelayan luar, sekali gus memastikan pemprosesan data anda kekal peribadi di dalam peranti anda sendiri.

Format Input dan Sintaksis yang Disokong

Alat ini menyokong input teks utama dengan had sehingga 6 pemboleh ubah berbeza dan 2,000 aksara. Pemalar 0 dan 1 dibenarkan. Pemboleh ubah ditulis sebagai huruf tunggal, manakala operator boleh ditulis dalam pelbagai gaya konvensyen penulisan yang boleh dicampur secara bebas:

  • AND: Boleh ditulis secara tersirat (contohnya AB), menggunakan titik A·B, asterisk A*B, perkataan A AND B, operator pengaturcaraan A && B, atau simbol logik. Urutan berbilang huruf seperti ABC akan ditafsirkan sebagai A AND B AND C.
  • OR: Ditulis sebagai A + B, A OR B, A || B, atau simbol logik.
  • 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 ⊽.

Antarmuka alat ini juga menyediakan kawalan "Sisipkan operator" untuk memasukkan operator tertentu ke dalam ungkapan dengan mudah. Pengguna juga boleh menggunakan pintasan contoh boleh klik di bawah bahagian "Cuba satu ungkapan" untuk memuatkan ungkapan pratetap:

  • "Menggabungkan sebutan" (contoh konsensus)
  • "Produk yang dinafikan" (contoh De Morgan)
  • "XOR tiga hala" (contoh XOR)

Butang "Kosongkan" disediakan untuk memadamkan keseluruhan input semasa dengan cepat.

Memahami Output Alat Pemudah

Apabila ungkapan dimasukkan, alat ini memproses input dan memaparkan beberapa panel maklumat terperinci:

1. Hasil Utama dan Diagnostik

  • Dibaca sebagai: Menunjukkan tafsiran ternormal bagi ungkapan input.
  • Hasil tambah produk (SOP) minimum: Bentuk hasil tambah produk yang telah dipermudahkan.
  • Produk hasil tambah (POS) minimum: Bentuk produk hasil tambah yang telah dipermudahkan.
  • Sekilas pandang: Panel diagnostik yang memaparkan maklumat berikut:
    • Pemboleh ubah: Senarai pemboleh ubah yang dikesan.
    • Baris bersamaan dengan 1: Bilangan atau senarai minterm.
    • Implikan perdana: Jumlah bilangan implikan perdana yang ditemui.
    • Implikan perdana penting: Bilangan implikan perdana penting.
    • Literal, sebelum → selepas: Bilangan literal dalam ungkapan sebelum dan selepas dipermudah.
    • Kaedah: Memaparkan "Quine–McCluskey, liputan minimum tepat".

2. Cara ia dipermudah

Bahagian ini memaparkan teks terbitan langkah demi langkah yang merangkumi:

  • Perincian pemboleh ubah dan bilangan baris jadual kebenaran (contohnya: "Ungkapan ini menggunakan ‹count› pemboleh ubah (‹variables›), jadi jadual kebenaran mempunyai ‹rows› baris." atau "Ungkapan ini menggunakan satu pemboleh ubah, ‹variables›, jadi jadual kebenaran mempunyai ‹rows› baris." atau "Ungkapan ini tidak menggunakan pemboleh ubah, jadi ia dinilai kepada satu pemalar tunggal.").
  • Baris minterm dan maxterm: "Ia bersamaan dengan 1 pada baris Σm(‹minterms›) dan 0 pada baris ΠM(‹maxterms›).".
  • Senarai implikan perdana: "Menggabungkan baris-1 bersebelahan sejauh yang mungkin meninggalkan ‹count› implikan perdana: ‹list›.".
  • Senarai implikan perdana penting: "Implikan perdana penting — satu-satunya liputan yang tinggal untuk sekurang-kurangnya satu baris: ‹list›." atau "Tiada implikan perdana yang penting: setiap baris-1 boleh diliputi dengan lebih daripada satu cara.".
  • Penyelesaian baris tidak diliputi: "Baris yang masih belum diliputi ditutup dengan sebutan tambahan yang paling sedikit: ‹list›." atau "Implikan perdana penting sudah meliputi setiap baris-1, jadi hasil tambah adalah lengkap.".
  • Terbitan produk hasil tambah: "Menjalankan penggabungan yang sama pada baris-0 memberikan produk hasil tambah minimum ‹pos›.".
  • Status pengesahan: "Kedua-dua bentuk minimum sepadan dengan ungkapan asal pada kesemua ‹rows› baris jadual kebenaran.".

3. Jadual kebenaran

Jadual kebenaran lengkap dipaparkan dengan lajur untuk pemboleh ubah, ungkapan asal (dilabel Ungkapan), dan ungkapan yang dipermudah (dilabel SOP Minimum) untuk mengesahkan kesetaraan baris demi baris. Pengguna boleh menyalin hasil yang dipermudah ke papan klip menggunakan butang "Salin hasil".

Peraturan, Mesej Status dan Pengendalian Ralat

Alat ini mempunyai logik terbina dalam untuk mengendalikan pelbagai kes sempadan dan ralat input:

  • Mesej Status:
    • Apabila input kosong, alat memaparkan status: "Taip ungkapan Boolean untuk mempermudahnya.".
    • Apabila berjaya dipermudahkan: "Dipermudah dan disemak pada kesemua ‹rows› baris.".
    • Jika ungkapan menghasilkan pemalar: "Ungkapan ini adalah pemalar: ia sentiasa bersamaan dengan ‹value›.".
  • Ungkapan Pemalar:
    • Tautologi: "Ungkapan ini sentiasa 1: setiap gabungan nilai menjadikannya benar.".
    • Kontradiksi: "Ungkapan ini sentiasa 0: tiada gabungan nilai menjadikannya benar.".
  • Sudah Minimum: Jika ungkapan input tidak boleh dipermudahkan lagi, alat memaparkan: "Ungkapan anda sudah sedia dalam bentuk hasil tambah produk minimum.".
  • Mesej Ralat:
    • Input kosong semasa cubaan proses: "Masukkan ungkapan Boolean.".
    • Melebihi had aksara: "Pastikan ungkapan di bawah 2,000 aksara.".
    • Aksara tidak sah: ""‹char›" (kedudukan ‹position›) bukan operator, pemboleh ubah atau pemalar Boolean.".
    • Sintaksis/Sempalan tergantung: "Operator kehilangan operannya berhampiran kedudukan ‹position› — periksa jika ada + · atau ⊕ yang tergantung.".
    • Kurungan tidak seimbang: "Tanda kurung tidak seimbang — tambah atau buang kurungan.".
    • Melebihi had pemboleh ubah: "Ungkapan ini menggunakan ‹count› pemboleh ubah yang berbeza; pemudah menyokong sehingga 6.".

Perbandingan SOP dan POS dalam Reka Bentuk Litar

Dalam reka bentuk logik digital, pemilihan antara bentuk SOP (Sum of Products) dan POS (Product of Sums) mempunyai implikasi fizikal yang nyata. SOP memetakan ungkapan terus kepada seni bina litar dua peringkat AND-OR, di mana beberapa get AND menyuap ke dalam satu get OR tunggal. Sebaliknya, POS memetakan ungkapan kepada litar OR-AND, di mana beberapa get OR menyuap ke dalam satu get AND.

Jurutera elektrik dan komputer membandingkan kedua-dua bentuk ini untuk menentukan konfigurasi yang memerlukan bilangan get logik atau input (literal) yang paling sedikit. Pengurangan bilangan get bukan sahaja mengurangkan kos pembuatan perkakasan, tetapi juga mengurangkan kelewatan perambatan isyarat dan penggunaan kuasa dalam cip semikonduktor.

Algoritma Quine–McCluskey vs. Kaedah Manual

Bagi pelajar reka bentuk logik digital, kaedah manual seperti Peta Karnaugh (K-map) sangat popular untuk mempermudah ungkapan sehingga 4 pemboleh ubah. Walau bagaimanapun, K-map menjadi sangat sukar untuk diuruskan dan terdedah kepada kesilapan manusia apabila mengendalikan 5 atau 6 pemboleh ubah (yang melibatkan sehingga 64 baris jadual kebenaran).

Kaedah Quine–McCluskey yang digunakan oleh alat ini merupakan algoritma tabular yang sistematik. Berbeza dengan kaedah heuristik yang mungkin terlepas penyelesaian terbaik, kaedah Quine–McCluskey menjamin pencarian liputan minimum yang tepat (exact minimum cover). Ia berfungsi dengan mengelompokkan minterm berdasarkan bilangan nilai '1', membandingkan dan menggabungkan baris bersebelahan untuk mencari implikan perdana, dan kemudian membina jadual implikan perdana untuk mengenal pasti implikan perdana penting yang wajib ada dalam ungkapan minimum akhir.

Soalan Lazim (FAQ)

Mengapakah maksimum 6 pemboleh ubah sahaja yang disokong?
Enam pemboleh ubah sudah menghasilkan jadual kebenaran 64 baris, yang merupakan had untuk masih boleh dibaca dan disemak secara manual. Di luar had itu, pengecilan masih berfungsi secara teori, tetapi langkah terbitan dan jadual yang dibina pada halaman ini tidak lagi berguna sebagai bukti. Perisian reka bentuk logik dengan output fail adalah lebih sesuai untuk fungsi yang lebih luas.

Bagaimanakah bentuk minimum ditemui?
Alat ini membina jadual kebenaran penuh, menggabungkan baris-1 yang bersebelahan menjadi implikan perdana (kaedah Quine–McCluskey), mengekalkan implikan yang penting dan menutup mana-mana baris yang tinggal dengan liputan minimum yang tepat. Hasilnya dijamin minimum untuk bentuk hasil tambah produk (SOP) — ia bukan heuristik — dan prosedur yang sama pada baris-0 menghasilkan produk hasil tambah (POS).

Apakah cara penulisan ungkapan yang difahami?
Semua konvensyen biasa boleh dicampur secara bebas: gaya kejuruteraan (AB + A'C, dengan AND tersirat dan tanda prima untuk NOT), gaya pengaturcaraan (A &&!B || C, A ^ B), simbol logik (¬ ∧ ∨ ⊕ ⊼ ⊽) dan perkataan biasa (A AND B OR NOT C, NAND, NOR). Urutan berbilang huruf seperti ABC bermaksud A AND B AND C, dan perkataan AND, OR, NOT, XOR, NAND, NOR sentiasa dibaca sebagai operator.

Apakah perbezaan antara hasil SOP dan POS?
Kedua-duanya menerangkan fungsi yang sama. Hasil tambah produk (SOP) menggabungkan sebutan-AND menggunakan OR, seperti AB' + BC, dan dipetakan terus ke litar AND–OR; produk hasil tambah (POS) menggabungkan faktor-OR menggunakan AND, seperti (A + B)(B' + C), dan dipetakan ke litar OR–AND. Bergantung pada fungsi, satu bentuk mungkin memerlukan get yang lebih sedikit berbanding bentuk yang satu lagi, jadi alat ini sentiasa menunjukkan kedua-duanya.

Kalkulator Pemfaktoran PerdanaPecahkan sebarang nombor bulat kepada faktor perdananya dan lihat pokok faktor di sebaliknya.Penukar Binari/HeksTukar nombor antara binari, heks, perpuluhan dan oktal — atau tukar teks kepada bait.Kalkulator Punca PolinomialCari setiap punca nyata dan kompleks bagi polinomial daripada ungkapan yang dikembangkan atau senarai pekali, berserta semakan sisa dan penumpuan.