Sida loo fududeeyo tibaaxaha macquul ah, shaqo, sharciyada iyo tusaalooyin

Maanta waxaan soo wada baran doonaa si aan u fududeyno tibaaxaha macquul ah, waxaan ka heli qof aqoon u leh shuruucda aasaasiga ah waxaana ay baari miiska runta ah hawlaha macquulka ah.

Si aad u bilowdo, sababta mowduucan. Waligaa ma dareentay sida loola hadlo? Fadlan la soco in our hadalka iyo falalka mar walba ku xiran yihiin sharciyada macquulka ah. Si loo ogaado natiijada dhacdo kasta oo aan la xayiran, bartaan sharciyada fudud oo cad ee macquulka ah. Waxay kaa caawin doona inaad hesho ma aha oo kaliya fasalka wanaagsan ee sayniska computer ama si aad u hesho kubadaha ka badan imtixaanka gobolka midaysan, laakiin inay wax ka qabtaan xaaladaha nolosha dhabta ah ma random.

hawlaha

Si aad u ogaatid sida loo fududeeyo tibaaxaha macquulka ah, waxaad u baahan tahay inaad ogaato:

• Maxaa kasoo muuqday ma algebra ku Boolean;
• Dhimista iyo sharciga diinta tibaaxaha;
• amarka hawlgallada.

Haddaba aynu eegno kuwaas oo arrimaha si faahfaahsan weyn. Bal aan ka bilowno howlgallada. Waxay yihiin quruxsan u fududaynay xusuus darteed.

1. Waxa ugu horeeya ee aan la soco isku dhufashada macquul ah, in suugaanta waxa loo yaqaan hawlgalka lala a. Haddii xaaladda ku qoran foomka ah ee ra'yi dhiibashada, qalliinka tilmaamay by tick ah rogay, calaamad-dhufasho, ama "&".
2. Shaqooyinka soo socda inta badan loo isticmaalaa - Intaa waxaa macquul ah ama disjunction. Her sax sumadda ama calaamad lagu daray.
3. A muujinta aad u muhiim ah waa inkiraad ama inversion. Bal xusuuso sida afka Ruush aad Horgalaha go'doon. Garaaf, inversion la tilmaamay by horgalaha ka hor hadal, ama khadka siman ka sarreeyo.
4. cidhibtii macquul ah (ama ku tusinaysaa) tilmaamay by fallaadh ka qiimaha baaritaanka. Haddii aan fikiraan waxyaalihii ay ka barta of view of af Ruush, waxay u dhigantaa nooc ka mid ah qaab-dhismeedka xukunka: "haddii ... ka dibna ...".
5. Next waa isu-ka, kaas oo la muujinaysaa laba-jid arrow. In Ruush, hawlgalka waa sida soo socota: "kaliya haddii".
6. stroke Sheffer kala sooco labada tibaaxaha ee bar taagan.
7. Pierce Arrow, sidoo kale stroke Sheffer, saamiyada hadal arrow vertical hoos ku fiiqaya.

Sure in la ogaado in hawlaha waa in la sameeyaa isku xigxiga adag, inkiraad, isu-dhufasho, Intaa waxaa dheer, sidaas awgeed, isu-ka. Waayo, hawlgallada "Sheffer stroke" iyo "macquul ah toona" ma jiro wax sharci ah oo mudnaan. Sidaa darteed, waxay u baahan yihiin in lagu sameeyo si ay u istaagaan in hadal adag.

miiska runta

Fududee hadal Boolean iyo dhisaan miiska runta ah ee ay go'aan dheeraad ah waa wax aan macquul aheyn aqoonta miisaskii hawlaha aasaasiga ah iyada oo aan. Haddaba waxaan ku siin in ay la kulmaan iyaga waxaa la jiray. Ogsoonow in qiimaha qaadan karaa qiimaha run ah ama been ah.

Waayo lala reer miiska waa sida soo socota:

hawlgalka disjunction Table for:

inkiraad:

natiijo:

isu-:

Barcode Schiffer:

Pierce Arrow:

fududeynta sharciyada

On su'aasha ah ee sida loo fududeeyo tibaaxaha macquulka ah ee sayniska kombiyuutarka, waxay naga caawin doontaa heli jawaabaha sharciyada fudud oo cad ee macquulka ah.

Bal aan ka bilowno sharciga ugu fudud ee is khilaaf. Haddii aan u badin fikradaha soo horjeeda (A iyo NEA), ka dibna waxaan ka heli been. In the case of Intaa waxaa dheer ee fikradaha ka soo hor jeedda, aan runta u hesho, sharciga waxaa loo yaqaan "sharciga dhexe laga saaray." Inta badan ee aljabra Boolean waxaa jira tibaaxaha la inkiraad double a (aan NEA), ka dibna waxaan ka heli jawaab A. Waxa kale oo jira laba ka mid ah sharciga de Morgan:

• haddii aan inkiraad ah ee intaa dheer macquul ah, waxaan ka heli dhufashada laba tibaaxaha la inversion ah (ma aha (A + B) = * Nea Neuve);
• falalka la mid ah, oo ay sharciga labaad, waxaan cunay diidmada-dhufasho, waxaan u helaysaa in aad ku dar laba qiimaha la inversion ah.

hal hawl aad u soo noqnoqda, qiime isku mid (A ama B) aasaasay ama wada tarmaan. Xaaladdan oo kale, sharciga celceliyay (= * A A + B ama A = B). Waxaa jira sharciyo iyo qaniimooyin:

• A + (* B A) = A,
• * A (A + B) = A,
• * A (Keib + B) = * B. A

Waxaa jira laba sharciga lagala kulmo:

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

Fududee tibaaxaha macquul ah waa u fududahay haddii aad taqaan sharciyada algebra Boolean. siman wax walba oo ku qoran qaybtan of articles sharciga loo baari karaa. Ujeedada this aan qaansada ku furo sida uu qabo sharciga ee xisaabta.

TUSAALE 1

Waxaan ku soo bartay oo dhan muuqaalada fududaynta tibaaxaha macquul ah, hadda waa lagama maarmaan si ay u adkeeyaan ay aqoon cusub u fuliso. Waxaan soo jeedinaynaa in aad ka dhigi soo baxay wada saddex tusaale barnaamijka dugsiga iyo tigidhada imtixaanka gobolka midaysan.

Tusaalaha ugu horeysay, waxaan u baahan nahay si aan u fududeyno hadal ah: (P * E) + (C waxaa *). First, waxaannu u jeesanaynaa aannu ogaanno in ay xaqiiqda ah in in labadaba ku dhxe koowaad iyo labaad waxay leeyihiin doorsoomayaasha isku dalabyo inay ka sameeyaan soo baxay oo qows ku. Ka dib markii aan is sameeyey by beddelo hadal ah: C * (E + Qur'aanka). Horaantii waxaan eegay sharciga dhexe laga saaray, waxa ka codsan marka la eego hadal ah. waxaa soo socda, waxaan dhihi karaa in E + = 1 Haddaba waa hadal qaadataa foomka: C * 1. Tibaaxda keentay, aan weli la fududeeyey karo by og in C 1 = C *.

TUSAALE 2

Our hawsha soo socota uu noqon doono, Bal maxaa weli waa hadal Boolean fududeeyay aan (C +) waa + (C + E) + C * E?

Fadlan la soco in tusaale ahaan this waa inkiraad ee tibaaxaha adag, waa in laga takhaluso, hanuuniyey by sharciyada De Morgan. iyaga Dalbashada, waxaan u hesho ra'yi soo socda: * E + NES NES * waxaa + C * E. Waxaan mar kale waxaa goob joog ka celceliyay of variable ah in labo erey, inay ka sameeyaan soo baxay oo qows ku: HEC * (E + iyada) + C * E. Mar kale, codsan Act Saarida ah: HEC * 1 + C * E. Waxaan xusuustaa in weedha ah "NES * 1" Oo Barbareeyay NES: NES + C * E. Waxa kale oo aanu ku bixin in ay isticmaalaan sharciga furfurista: (HEC + C) * (HEC + E). Waxaan ka codsan sharciga dhexe laga saaray: HEC + E.

TUSAALE 3

Idinku waad aragteen in dhab ahaantii waa mid aad u fudud in la fududeeyo muujinta Boolean. Tusaale №3 la rinjiyeeyay doonaa si faahfaahsan u yar, isku day in aad naftaada u samayn.

Fududee hadal ah: (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.

Sida aad arki karto, haddii aad taqaan sharciyada fududaynta tibaaxaha macquul ah oo adag, ka dibna shaqo this marna aad ka dhigi doonaa in dhibaato.