Áireamhán Simplithe Ailgéabar Boole

Feidhmiú an tSimplitheora Ailgéabar Boole

Is uirlis ar líne saor in aisce é an Simplitheoir Ailgéabar Boole a laghdaíonn aon slonn Boole go dtí na foirmeacha matamaiticiúla is simplí. Nuair a chlóscríobhann nó a ghreamaíonn tú slonn Boole isteach san uirlis, ríomhann agus taispeánann sé láithreach an tsuim táirgí íosta (SOP) agus an táirge suimeanna íosta (POS). Chomh maith leis na foirmeacha simplithe sin, soláthraíonn an uirlis miondealú céim ar chéim ar an gcaoi ar baineadh an simpliú amach ag baint úsáide as modh Quine–McCluskey, liostaíonn sé na príomhimplicigh go léir, agus gineann sé tábla fíorainmneacha ró ar ró a dheimhníonn na torthaí simplithe i gcomparáid leis an mbunshlonn.

Déantar na sloinn a simpliú go díreach i mbrabhsálaí an úsáideora agus ní fhágann siad do ghléas riamh. Ní uaslódáiltear aon sonraí chuig freastalaí seachtrach.

---

Formáidí Iontrála agus Teorainneacha

Glacann an uirlis le hathróga scríofa mar litreacha aonair. Is féidir oibreoirí a scríobh i stíl innealtóireachta, stíl ríomhchláraithe, siombailí loighce, nó focail shoiléire, agus is féidir iad a mheascadh go saor:

• AND: Intuigthe (mar shampla AB), A·B, A*B, A AND B, A && B, nó siombailí loighce. Léirmhínítear rithí il-litreach mar ABC mar A AND B AND C.
• OR: A + B, A OR B, A || B, nó siombailí loighce.
• NOT: A', !A, NOT A, ¬A, nó príomhchomhartha.
• XOR: A ^ B, A XOR B, A ⊕ B.
• NAND: A NAND B, ⊼.
• NOR: A NOR B, ⊽.
• Tairisigh: Ceadaítear na tairisigh 0 agus 1.

Tacaíonn an simplitheoir le suas le 6 athróg dhifriúla agus uasmhéid de 2,000 carachtar sa slonn ionchuir.

Chun cabhrú leis an úsáideoir, tá rialtáin chomhéadain ann chun oibreoirí ar leith a chur isteach, chomh maith le cnaipí aicearra chun samplaí réamhshocraithe a luchtú:

• Téarmaí á gcumasc (sampla comhthheasaimh)
• Táirge diúltaithe (sampla De Morgan)
• XOR tríbhealach (sampla XOR)

Is féidir an t-ionchur reatha a ghlanadh go hiomlán ach cliceáil ar an gcnaipe Glan.

---

Diagnóisic agus Aschur an tSimplitheora

Nuair a phróiseáiltear an slonn, taispeánann an comhéadan na torthaí faoi na lipéid seo a leanas:

• Léite mar: Léiriú normalaithe an tslonn ionchuir.
• Suim táirgí íosta (SOP): An fhoirm suim táirgí simplithe.
• Táirge suimeanna íosta (POS): An fhoirm táirge suimeanna simplithe.

Faoin rannán Sracfhéachaint, taispeántar painéal diagnóiseach ina bhfuil na sonraí seo a leanas:

• Athróga: Liosta na n-athróg a aimsíodh sa slonn.
• Rónna cothrom le 1: Líon nó liosta na miontéarmaí.
• Príomhimplicigh: Líon iomlán na bpríomhimplicíoch a aimsíodh.
• Príomhimplicigh riachtanacha: Líon na bpríomhimplicíoch riachtanach.
• Litreacha, roimh → tar éis: Líon na litreacha sa slonn roimh an simpliú agus ina dhiaidh.
• Modh: An modh íoslaghdaithe a úsáideadh (taispeánann sé "Quine–McCluskey, clúdach íosta beacht").

Is féidir an toradh simplithe a chóipeáil go tapa chuig an ngearrthaisce ach cliceáil ar an gcnaipe Cóipeáil an toradh.

---

Conas a Simplíodh é: Céim ar Chéim

Faoin lipéad Conas a simplíodh é, gineann an uirlis téacs díorthaithe céim ar chéim a mhíníonn an próiseas matamaiticiúil:

1. Líon na n-athróg:
   • Má úsáidtear níos mó ná athróg amháin: "Úsáideann an slonn ‹count› athróg (‹variables›), mar sin tá ‹rows› ró sa tábla fíorainmneacha."
   • Má úsáidtear athróg amháin: "Úsáideann an slonn athróg amháin, ‹variables›, mar sin tá ‹rows› ró sa tábla fíorainmneacha."
   • Mura bhfuil athróg ar bith ann: "Ní úsáideann an slonn aon athróg, mar sin ríomhtar é mar thairiseach aonair."
2. Miontéarmaí agus uastéarmaí: "Tá sé cothrom le 1 ar na rónna Σm(‹minterms›) agus 0 ar na rónna ΠM(‹maxterms›)."
3. Cumasc na bpríomhimplicíoch: "Nuair a chumasctar rónna-1 comharsanacha chomh fada agus is féidir, fágtar ‹count› príomhimplicíoch: ‹list›."
4. Príomhimplicigh riachtanacha:
   • "Príomhimplicigh riachtanacha — an t-aon chlúdach atá fágtha do ró amháin ar a laghad: ‹list›."
   • Mura bhfuil aon cheann ann: "Níl aon phríomhimplicíoch riachtanach: is féidir gach ró-1 a chlúdach ar níos mó ná bealach amháin."
5. Rónna nach bhfuil clúdaithe:
   • "Dúntar na rónna nach bhfuil clúdaithe fós leis na téarmaí breise is lú is féidir: ‹list›."
   • Má tá gach ró clúdaithe cheana féin: "Clúdaíonn na príomhimplicigh riachtanacha gach ró-1 cheana féin, mar sin tá an tsuim iomlán."
6. Díorthú an táirge suimeanna: "Má dhéantar an cumasc céanna ar na rónna-0, faightear an táirge suimeanna íosta ‹pos›."
7. Deimhniú: "Meaitseálann an dá chruth íosta an bunshlonn ar gach ceann de na ‹rows› rónna sa tábla fíorainmneacha."

Chun an deimhniú seo a thaispeáint go radhaircach, gintear Tábla fírinne iomlán. Tá colúin sa tábla seo do na hathróga, don bhunshlonn (lipéadaithe mar Slonn), agus don fhoirm shimplí (lipéadaithe mar SOP Íosta) chun a thaispeáint go bhfuil siad comhionann ar gach ró.

---

Rialacha, Earráidí agus Cásanna Speisialta

Ligeann an t-áireamhán do chásanna imeallacha áirithe agus taispeánann sé teachtaireachtaí stádais nó earráide cuí de réir mar is gá:

• Sloinn Thairiseacha: Má mheastar go bhfuil an slonn cothrom le tairiseach i gcónaí, taispeánfar an teachtaireacht "Is tairiseach é an slonn seo: bíonn sé cothrom le ‹value› i gcónaí.".
  • I gcás tautology (tautologies): "Bíonn an slonn seo cothrom le 1 i gcónaí: déanann gach teaglaim luachanna fíor é."
  • I gcás contrárthachta (contradictions): "Bíonn an slonn seo cothrom le 0 i gcónaí: ní dhéanann aon teaglaim luachanna fíor é."
• Íosta Cheana Féin: Mura féidir an slonn a shimpliú níos mó, taispeánfar: "Tá do shlonn sa suim táirgí is lú cheana féin."
• Teachtaireachtaí Earráide:
  • Má tá an t-ionchur folamh: "Iontráil slonn Boole."
  • Má sháraítear an teorainn carachtar: "Coinnigh an slonn faoi bhun 2,000 carachtar."
  • Carachtair neamhbhailí: "Ní oibreoir Boole, athróg ná tairiseach é "‹char›" (suíomh ‹position›)."
  • Earráid comhréire nó oibreoirí ar iarraidh: "Tá oibreann in easnamh ar oibreoir in aice le suíomh ‹position› — seiceáil an bhfuil + · nó ⊕ ar crochadh."
  • Lúbáin neamhchothromaithe: "Níl na lúbáin cothromaithe — cuir lúbán leis nó bain ceann de."
  • Sárú ar theorainn na n-athróg: "Úsáideann an slonn seo ‹count› athróg dhifriúla; tacaíonn an simplitheoir le suas le 6 cinn."

Ceisteanna Coitianta

Cén fáth nach dtacaítear ach le 6 athróg ar a mhéad?
Gineann sé athróg tábla fíorainmneacha le 64 ró cheana féin, rud atá thart ar an teorainn a d'fhéadfaí a léamh agus a sheiceáil de láimh. Thairis sin, leanann an t-íoslaghdú ag oibriú go teoiriciúil, ach stopann an díorthú agus an tábla a bhfuil an leathanach seo bhunaithe orthu de bheith úsáideach mar fhianaise. Is fearr bogearraí deartha loighce a bhfuil aschur comhad acu le haghaidh feidhmeanna níos leithne.

Conas a aimsítear an cruth íosta?
Tógann an uirlis an tábla fíorainmneacha iomlán, cumascann sí rónna-1 comharsanacha ina bpríomhimplicigh (modh Quine–McCluskey), coinníonn sí na cinn riachtanacha agus dúnann sí aon rónna atá fágtha le clúdach íosta beacht. Ráthaítear go bhfuil an toradh íosta don fhoirm suim táirgí — ní heorastúil é — agus táirgeann an nós imeachta céanna ar na rónna-0 an táirge suimeanna.

Cad iad na bealaí scríofa slonn a thuigtear?
Glactar le gach gnáthchoinbhinsiún, measctha go saor: stíl innealtóireachta (AB + A'C, le AND intuigthe agus an príomhchomhartha do NOT), stíl ríomhchláraithe (A &&!B || C, A ^ B), siombailí loighce (¬ ∧ ∨ ⊕ ⊼ ⊽) agus focail shoiléire (A AND B OR NOT C, NAND, NOR). Ciallaíonn rithí il-litreach mar ABC A AND B AND C, agus léitear na focail AND, OR, NOT, XOR, NAND, NOR mar oibreoirí i gcónaí.

Cad é an difríocht idir torthaí SOP agus POS?
Déanann an dá cheann cur síos ar an bhfeidhm chéanna. Déanann an tsuim táirgí (SOP) téarmaí-AND a nascadh le chéile le OR, mar shampla AB' + BC, agus mapálann sé go díreach chuig ciorcaid AND–OR; déanann an táirge suimeanna (POS) fachtóirí-OR a nascadh le chéile le AND, mar shampla (A + B)(B' + C), agus mapálann sé chuig ciorcaid OR–AND. Ag brath ar an bhfeidhm, d'fhéadfadh go mbeadh níos lú geataí de dhíth ar fhoirm amháin seachas an fhoirm eile, mar sin taispeánann an uirlis an dá cheann i gcónaí.