Tsela ea ho nolofatsa lipoleloana utloahalang: mosebetsi, melao le mehlala

Kajeno re tla ithuta 'moho ho nolofatsa lipoleloana utloahalang, re fumana ho tloaelana le melao ea motheo le hlahloba' nete tafole ea mesebetsi sea utloahala kapa che.

Taba ea pele, ke hobane'ng ha taba ena. Na u kile ua hlokomela kamoo ho bua? Ka kōpo hlokomela hore puo le liketso tsa rōna li lula ho ya melao ya tlhalohanyo. E le hore re tsebe hore sephetho sa ketsahalo efe kapa efe 'me ho se qabeletsoe, ithuta melao e bonolo le e hlakileng ea tlhalohanyo. Ba tla u thusa, eseng feela fumana sehlopheng ntle tsa saense ba sebelisang lik'homphieutha kapa ho fumana libolo tse ngata ka momahaneng boemo ba ngotse hlahlobo, empa ho etsa lintho ka maemo a sebele bophelong ha tšohanyetso.

tshebetso

Ho ithuta mokhoa oa ho nolofatsa lipoleloana sea utloahala kapa che, u hloka ho tseba:

• Seo likarolo etsang alejibra Boolean;
• Phokotso le molao ho sokoloha lipoleloana;
• taelo ea tshebetso.

Hona joale re sheba ditaba tsena ka ho qaqa. A re ke re qala ka tshebetso e. Ba motle ho le bonolo ho hopola.

1. Ntho ea pele eo re hlokomela utloahalang atisiwa, ka lingoliloeng tseo e le bitsoa kopanelo tshebetso. Ha boemo ba e ngotsoeng ka mokgwa wa ho hlahisa maikutlo, buuoa o ile a bontša ka ho ya letshwao inverted, le katiso ea matsoho, kapa "&".
2. Tlang mesebetsi hangata ho fetisisa sebelisoa - utloahalang phaella moo kapa disjunction. letšoao hae letshwao kapa mmoho ea matsoho.
3. A karolo ea bohlokoa haholo ke negation kapa pitikololo. Hopola kamoo ka puo Russia o ka thōko le ketapele. Ho hlaka, pitikololo e bontšoa ke sa le ketapele pele polelo e reng, kapa mola tshekaletseng holimo eona.
4. The utloahalang lebaka (kapa boleloang) o ile a bontša ka ho motsu ho tswa ho boleng ba lipatlisiso. Ha re nahana ka tshebetso ho tloha ntlheng ea ho lebaka la puo ea Serussia, ho tšoana le ho mofuta oa sebopeho polelongpalo: "haeba ... ebe ...".
5. Hlahlamang ke ditekani, e leng e denoted ke tse peli-tsela motsu. Ka Serussia, ke buuoe e tjena: "feela ha".
6. Sheffer setorouku a arola lipolelo tse peli tsa bareng paatsepama.
7. Pierce motsu, ka tsela e tšoanang Sheffer setorouku, likarolo tsa polelo e reng paatsepama motsu supa tlase.

Bonnete ba hore ho ela hloko hore tshebetso ya lokela ho phethwa ka tatelano ka tieo: negation, atisa, ho phaella moo, ka lebaka leo, ho ditekani. Bakeng sa tshebetso "Sheffer leqeba" le "e utloahalang kapa" ha ho na puso ea pele. Ka hona, ba lokela ho etsoa ka taelo eo ba ema ka polelo e reng e rarahaneng.

nete tafole

Nolofatsa poleloana Boolean le hahe tafole nete qeto lona ka ho eketsehileng ke ke ha khoneha a se nang tsebo ea litafole tsa tshebetso tsa motheo. Hona joale re fana ka ho kopana le bona. Hlokomela hore melao ea boitšoaro e ka e nkang e ka ba e le boleng ba 'nete kapa bohata.

Bakeng sa kopanelo ya tafoleng e tjena:

Tafole disjunction tshebetsong bakeng sa:

negation:

lebaka:

ditekani:

Barcode Schiffer:

Pierce motsu:

nolofatsa mosebetsi melao

Ka potso ea kamoo ho ka nolofatsa lipoleloana utloahalang litabeng tsa saense ya khomphuta ya hao, e tla re thusa ho fumana likarabo tsa melao e bonolo le e hlakileng ea tlhalohanyo.

A re ke re qala ka molao bonolo ea ikhanyetsa. Haeba re atisa ho bopa dikgopolo tsa bo fapaneng (A le Nea), ka nako eo re fumana leshano. Tabeng ea phaella moo likhopolo tse fapaneng, re fumana 'nete, molao o bitsoa "molao oa bohareng ya kenyeletswa." Hangata e le ka aljibra Boolean ho na le lipolelo tse ka negation habeli (sa Nea), ka nako eo re fumana karabo A. Ho boetse ho na tse peli tsa molao oa de Khao Morgan:

• ha re na le negation tsa utloahalang phaella moo, re fumana le katiso ea lipolelo tse peli ka pitikololo (e seng (A + B) = * Nea Neuve);
• liketso tse tšoanang, 'me molao oa bobeli, re ja latola ea atisiwa, re fumana ho eketsa makgabane e' meli le pitikololo ena.

kgafetsa haholo botjha, boleng tšoanang (A kapa B) thehoa kapa eketseha mmoho. Tabeng ena, molao oa ho pheta-pheta (= A * A + B kapa A = B). Ho na le melao le ditheko:

• A + (A * B) = A;
• * A (A + B) = A;
• * A (hea + B) = A * B.

Ho na le ba babeli ba molao oxyphobe:

• (A * B) + (A B *) = A;
• (A + B) * (A + B) = A.

Nolofatsa lipoleloana utloahalang ke ho le bonolo haeba u tseba melao ea alejibra Boolean. Lintho tsohle tse ngotsweng karolong lena la lihlooho molao ka lekoa empirically. Bakeng sa morero ona re bula ka masakaneng ho ea ka melao ea lipalo.

MOHLALA 1

Re se re ithutile litšobotsi tsohle tsa nolofatsa lipoleloana utloahalang, e hona joale ho hlokahala hore ho kopanya tsebo ea bona e ncha ka mokhoa ona. Re fana ka maikutlo a hore o etsa ho tsoa hammoho mehlala e meraro ho tswa lenaneong la sekolo le litekete tsa momahaneng tlhatlhobo naha.

Ka mohlala pele, re lokela ho nolofatsa mantsoe a reng: (P * E) + (C * e). Pele, re lebisa tlhokomelo ea rōna ho 'nete ea hore ka bobeli e ka masakaneng pele le la bobeli ba na le divariabole tšoanang le e fana ka ho etsa hore e tsoa ka masakaneng ho. Ka mor'a hore re fumana etsoang ke laola polelo e reng: C * (E + e). Pejana ho moo re sheba molao oa bohareng thoko, re e sebelise mabapi le polelo e reng. E latela, re ka re hore E + = 1 e ke ka lebaka leo poleloana ena e le rona o mokgwa: C * 1. Poleloana e reng sephetho, re ka ba ntse ba ka tsela e bonolo ka ho tseba hore C 1 = C *.

MOHLALA 2

Mosebetsi oa rōna e latelang e tla ba e reng: seo e ntse e le nolofalitsoeng Boolean polelo e reng e sa (C + e) ha + (C + E) + C * E?

Ka kōpo hlokomela ka mohlala ona ke negation ea lipolelo tse rarahaneng, hona ba lokela ho tlosa, tataisoa ke melao ea De Morgan. Ho sebelisa bona, re fumana mantsoe a reng tse latelang: * E + Nes Nes * e + C * E. Hang hape re paka ho pheta-pheta polygonal le ho latela ba babeli, ho etsa hore e tsoa ka masakaneng a reng: HEC * (E + oa hae) + C * E. Hape, a sebetsa se kenngwe Molao: HEC * 1 + C * E. Re hopola hore poleloana e reng "Nes * 1" lekana Nes: Nes + C * E. Re boetse re fana ka ho sebelisa molao kgaoganyi: (HEC + C) * (HEC + E). Re ka sebelisa molao oa bohareng thoko: HEC + E.

MOHLALA 3

O bone hore ha e le hantle ho le bonolo haholo ho nolofatsa poleloana Boolean. Mohlala №3 tla penta le dintlha ka tlaase ho moo, leka ho se etsa ho u ithata.

Nolofatsa mantsoe a reng: (D + E) * (D + F).

1. D * D + D * F + E * D + E * F;
2. D + D * F + E * D + E * F;
3. D * (1 + F) + E * D + E * F;
4. D + E * D + E * F;
5. D * (1 + E) + E * F;
6. D + E * F.

Joalokaha u ka bona, haeba u tseba melao ea nolofatsa rarahaneng lipoleloana utloahalang, joale mosebetsi ona le ka mohla etsa hore u mathateng.