Tagapagpasimple ng Boolean Algebra

Bawasan ang anumang Boolean expression sa minimal na sum of products at product of sums nito, kasama ang bawat prime implicant at isang pagsusuri sa truth table row-by-row.

Ekspresyon

Isulat ang mga variable bilang mga solong titik. Ang AND ay maaaring maging AB, A·B, A*B o A AND B; ang OR ay A + B o A OR B; ang NOT ay A', !A o NOT A; gumagana rin ang XOR, NAND at NOR.
Magpasok ng operator

Hanggang 6 na magkakaibang variable at 2,000 character. Pinapayagan ang mga constant na 0 at 1.

Subukan ang isang expression

Minimal na anyo

Lalabas dito ang iyong minimal form

Mag-type ng Boolean expression para makita ang pinakasimpleng sum of products nito, ang product of sums nito, at kung paano nahanap ang mga ito.

Mag-type ng Boolean expression para pasimplehin ito.

Ang mga expression ay pinapagaan sa browser na ito at hindi kailanman umaalis sa iyong device.

FAQ

Aling mga paraan ng pagsulat ng expression ang nauunawaan?

Lahat ng karaniwang convention, malayang pinaghalo: engineering style (AB + A'C, na may implicit na AND at prime para sa NOT), programming style (A && !B || C, A ^ B), mga logic symbol (¬ ∧ ∨ ⊕ ⊼ ⊽) at mga simpleng salita (A AND B OR NOT C, NAND, NOR). Ang mga magkakasunod na titik tulad ng ABC ay nangangahulugang A AND B AND C, at ang mga salitang AND, OR, NOT, XOR, NAND, NOR ay palaging binabasa bilang mga operator.

Paano nahanap ang minimal form?

Binuo ng tool ang buong truth table, pinagsasama ang mga magkakatabing 1-row para maging mga prime implicant (ang Quine–McCluskey na paraan), pinapanatili ang mga essential na implicant at sinasara ang anumang natitirang row gamit ang isang eksaktong minimum cover. Ang resulta ay garantisadong minimal para sa sum-of-products na anyo — hindi ito isang heuristic — at ang parehong pamamaraan sa mga 0-row ay gumagawa ng product of sums.

Ano ang pagkakaiba ng mga resultang SOP at POS?

Parehong naglalarawan sa parehong function. Ang sum of products (SOP) ay nag-o-OR ng mga AND-term nang magkakasama, tulad ng AB' + BC, at direktang nagmamapa sa mga AND–OR circuit; ang product of sums (POS) naman ay nag-a-AND ng mga OR-factor nang magkakasama, tulad ng (A + B)(B' + C), at nagmamapa sa mga OR–AND circuit. Depende sa function, ang isang anyo ay maaaring mangailangan ng mas kaunting gate kaysa sa isa pa, kaya palaging ipinapakita ng tool ang dalawa.

Bakit hanggang 6 na variable lang ang sinusuportahan?

Ang anim na variable ay gumagawa na ng truth table na may 64 na row, na siyang limitasyon para mabasa at masuri pa nang manu-mano. Higit pa rito, patuloy na gumagana ang minimization sa teorya, ngunit ang derivation at talahanayan kung saan binuo ang page na ito ay hindi na magiging kapaki-pakinabang bilang patunay. Ang software sa pagdidisenyo ng logic na may file output ang mas angkop para sa mas malalawak na function.

Isinulat at sinuri ng editorial team ng BroBroGo.Huling na-update:

Pagpapasimple ng Boolean Algebra Gamit ang Quine–McCluskey

Ang pagpapasimple ng mga lohikal na pahayag ay isang mahalagang bahagi ng pagdidisenyo ng mga digital na sirkito at pagsusuri ng lohika. Sa pamamagitan ng Boolean Algebra Simplifier, ang anumang Boolean expression ay maaaring bawasan sa pinakasimpleng anyo nito. Ang tool na ito ay nagkakalkula at nagpapakita ng parehong minimal na sum of products (SOP) at minimal na product of sums (POS). Kasabay nito, nagbibigay ito ng sunod-sunod na paliwanag kung paano nakuha ang pinasimpleng anyo gamit ang Quine–McCluskey na paraan, iniisa-isa ang lahat ng prime implicant, at gumagawa ng talahanayan ng katotohanan upang i-verify ang kawastuhan ng resulta laban sa orihinal na expression.

Ang proseso ng pagpapasimple ay nagaganap nang lokal. Ang mga expression ay pinapagaan sa browser na ito at hindi kailanman umaalis sa iyong device. Dahil dito, walang data na ipinapadala sa mga panlabas na server habang ginagamit ang tool.

Mga Tinatanggap na Format at Limitasyon sa Input

Ang tool ay may kakayahang magproseso ng iba't ibang estilo ng pagsulat ng Boolean algebra. Maaaring gumamit ng mga solong titik bilang mga variable at malayang pagsamahin ang iba't ibang uri ng operator:

  • AND: Maaaring isulat nang magkakadikit tulad ng AB (implicit), o gamit ang mga simbolo at salita tulad ng A·B, A*B, A AND B, A && B, o mga lohikal na simbolo. Ang mga magkakasunod na titik tulad ng ABC ay awtomatikong binabasa bilang A AND B AND C.
  • OR: Isinusulat bilang A + B, A OR B, A || B, o gamit ang lohikal na simbolo ng disjunction.
  • NOT: Tinatanggap ang mga anyong A', !A, NOT A, ¬A, o ang prime symbol.
  • XOR: Isinusulat bilang A ^ B, A XOR B, o A ⊕ B.
  • NAND: Isinusulat bilang A NAND B o ⊼.
  • NOR: Isinusulat bilang A NOR B o ⊽.
  • Mga Constant: Tinatanggap ang mga halagang 0 at 1.

Mga Limitasyon sa Paggamit

Upas mapanatili ang maayos na paggana at malinaw na pagpapakita ng mga resulta, ipinapatupad ang mga sumusunod na limitasyon:

  • Bilang ng Variable: Hanggang 6 na magkakaibang variable lamang ang sinusuportahan. Kung hihigit dito, ipapakita ang error na: "Gumagamit ang expression na ito ng ‹count› na magkakaibang variable; sumusuporta ang simplifier ng hanggang 6."
  • Haba ng Character: Ang input ay dapat na mas mababa sa 2,000 character. Ang paglampas dito ay magpapakita ng error na: "Panatilihing mababa sa 2,000 character ang expression."

Pagsusuri sa mga Output at Diagnostics

Kapag naglagay ng valid na expression, ang tool ay nagpapakita ng komprehensibong pagsusuri sa ilalim ng panel na Sa isang sulyap. Ang diagnostics panel na ito ay naglalaman ng mga sumusunod na impormasyon:

  • Mga variable: Ang listahan ng mga natukoy na variable sa expression.
  • Mga row na katumbas ng 1: Ang bilang o listahan ng mga minterm kung saan nag-e-evaluate sa 1 ang expression.
  • Mga prime implicant: Ang kabuuang bilang ng mga prime implicant na natagpuan.
  • Mga essential prime implicant: Ang bilang ng mga essential prime implicant na kinakailangan para sa cover.
  • Mga literal, bago → pagkatapos: Ang bilang ng mga literal sa expression bago at pagkatapos ng pagpapasimple.
  • Paraan: Ipinapakita ang ginamit na algorithm, partikular ang "Quine–McCluskey, eksaktong minimum cover".

Pagkatapos ng kalkulasyon, ang mga resulta ay ipinapakita sa mga sumusunod na label:

  • Binasa bilang: Ang normalized na interpretasyon ng iyong input.
  • Minimal na sum of products (SOP): Ang pinasimpleng anyo ng sum of products.
  • Minimal na product of sums (POS): Ang pinasimpleng anyo ng product of sums.

Maaaring gamitin ang button na Kopyahin ang resulta upang direktang makuha ang pinasimpleng anyo.

Hakbang-Hakbang na Pagpapasimple at Pag-verify

Ang seksyong Paano ito pinasimple ay nagbibigay ng detalyadong paliwanag sa bawat yugto ng Quine–McCluskey algorithm:

  1. Pagsusuri sa Variable: Depende sa bilang ng variable, ipapakita ng tool ang isa sa mga sumusunod na pahayag:
    • "Gumagamit ang expression ng ‹count› na variable (‹variables›), kaya ang truth table ay may ‹rows› na row."
    • "Gumagamit ang expression ng isang variable, ‹variables›, kaya ang truth table ay may ‹rows› na row."
    • "Walang ginagamit na variable ang expression, kaya nag-e-evaluate ito sa isang solong constant."
  2. Pag-mapa ng Minterm at Maxterm: Ipinapakita ang mga row kung saan ang output ay 1 o 0 sa pamamagitan ng: "Katumbas ito ng 1 sa mga row na Σm(‹minterms›) at 0 sa mga row na ΠM(‹maxterms›)."
  3. Paghahanap ng Prime Implicants: "Ang pagsasama ng mga magkakatabing 1-row hangga't maaari ay nag-iiwan ng ‹count› na prime implicant: ‹list›."
  4. Pagpili ng Essential Prime Implicants:
    • Kung mayroon: "Mga essential prime implicant — ang tanging natitirang cover para sa kahit isang row: ‹list›."
    • Kung wala: "Walang prime implicant na essential: ang bawat 1-row ay maaaring sakupin sa higit sa isang paraan."
  5. Paglutas sa mga Natitirang Row:
    • Kung may natira pa: "Ang mga row na hindi pa sakop ay isasara gamit ang pinakakaunting karagdagang term: ‹list›."
    • Kung sakop na lahat: "Sinasakop na ng mga essential prime implicant ang bawat 1-row, kaya kumpleto na ang sum."
  6. Product of Sums at Pag-verify:
    • "Ang pagpapatakbo ng parehong pagsasama sa mga 0-row ay nagbibigay ng minimal na product of sums na ‹pos›."
    • "Parehong tumutugma ang mga minimal form sa orihinal na expression sa lahat ng ‹rows› na row ng truth-table."

Mga Espesyal na Sitwasyon at Paghawak ng Error

Ang tool ay may mga built-in na panuntunan para sa mga partikular na sitwasyon ng expression at mga error sa syntax:

Mga Constant na Expression

Kung ang inilagay na expression ay nagreresulta sa isang permanenteng halaga, ipapakita ang mga sumusunod na mensahe:

  • Tautology: "Ang expression na ito ay palaging 1: bawat kumbinasyon ng mga value ay nagpapatoo rito."
  • Contradiction: "Ang expression na ito ay palaging 0: walang kumbinasyon ng mga value ang makakapagpatotoo rito."
  • Status: "Ang expression na ito ay constant: palagi itong katumbas ng ‹value›."

Expression na Minimal Na

Kung ang input ay hindi na kayang paliitin pa, ipapakita ang: "Ang iyong expression ay minimal na sum of products na."

Mga Mensahe ng Error sa Input

  • Walang Input: "Maglagay ng Boolean expression."
  • Hindi Kilalang Character: "Ang "‹char›" (posisyon ‹position›) ay hindi isang Boolean operator, variable o constant."
  • Maling Syntax: "May kulang na operand ang isang operator malapit sa posisyon ‹position› — suriin kung may nakabiting + · o ⊕."
  • Hindi Balanseng Panaklong: "Hindi balanse ang mga panaklong — magdagdag o magbawas ng bracket."

Mga Madalas Itanong (FAQ)

Bakit hanggang 6 na variable lang ang sinusuportahan?

Ang anim na variable ay gumagawa na ng truth table na may 64 na row, na siyang limitasyon para mabasa at masuri pa nang manu-mano. Higit pa rito, patuloy na gumagana ang minimization sa teorya, ngunit ang derivation at talahanayan kung saan binuo ang page na ito ay hindi na magiging kapaki-pakinabang bilang patunay. Ang software sa pagdidisenyo ng logic na may file output ang mas angkop para sa mas malalawak na function.

Paano nahanap ang minimal form?

Binuo ng tool ang buong truth table, pinagsasama ang mga magkakatabing 1-row para maging mga prime implicant (ang Quine–McCluskey na paraan), pinapanatili ang mga essential na implicant at sinasara ang anumang natitirang row gamit ang isang eksaktong minimum cover. Ang resulta ay garantisadong minimal para sa sum-of-products na anyo — hindi ito isang heuristic — at ang parehong pamamaraan sa mga 0-row ay gumagawa ng product of sums.

Aling mga paraan ng pagsulat ng expression ang nauunawaan?

Lahat ng karaniwang convention, malayang pinaghalo: engineering style (AB + A'C, na may implicit na AND at prime para sa NOT), programming style (A &&!B || C, A ^ B), mga logic symbol (¬ ∧ ∨ ⊕ ⊼ ⊽) at mga simpleng salita (A AND B OR NOT C, NAND, NOR). Ang mga magkakasunod na titik tulad ng ABC ay nangangahulugang A AND B AND C, at ang mga salitang AND, OR, NOT, XOR, NAND, NOR ay palaging binabasa bilang mga operator.

Ano ang pagkakaiba ng mga resultang SOP at POS?

Parehong naglalarawan sa parehong function. Ang sum of products (SOP) ay nag-o-OR ng mga AND-term nang magkakasama, tulad ng AB' + BC, at direktang nagmamapa sa mga AND–OR circuit; ang product of sums (POS) naman ay nag-a-AND ng mga OR-factor nang magkakasama, tulad ng (A + B)(B' + C), at nagmamapa sa mga OR–AND circuit. Depende sa function, ang isang anyo ay maaaring mangailangan ng mas kaunting gate kaysa sa isa pa, kaya palaging ipinapakita ng tool ang dalawa.

Kalkulador ng Prime FactorizationIbahagi ang anumang buong numero sa mga prime factor nito at tingnan ang factor tree sa likod nito.Binary/Hex ConverterI-convert ang mga numero sa pagitan ng binary, hex, decimal, at octal — o gawing bytes ang text.Kalkulador ng Polynomial RootHanapin ang bawat real at complex root ng isang polynomial mula sa pinalawak na expression o listahan ng coefficient, na may mga residual at pagsusuri sa convergence.