Olee otú mfe ezi uche okwu: ọrụ, iwu na ihe atụ

Taa, anyị ga-amụta ọnụ ka mfe ezi uche okwu, anyị na-enweta ịmara ndị isi iwu na-enyocha eziokwu table nke mgbagha ọrụ.

Iji malite, mere isiokwu a. Ò nwetụla mgbe ị hụrụ otú ikwu okwu? Biko mara na okwu na omume anyị na-mgbe n'okpuru iwu nke mgbagha. Iji mara ihe ga-esi ọ bụla omume na-agaghị tọrọ atọ, na-amụta dị mfe ma doo anya na iwu nke mgbagha. Ha ga-enyere na ị bụghị nanị na-a ọma na klas ke kọmputa sayensị ma ọ bụ iji nweta ihe bọọlụ na n'otu obodo nnyocha, ma na-eme ihe na ezigbo ndụ ọnọdụ na-adịghị random.

arụmọrụ

Ịmụta otú mfe mgbagha okwu, mkpa ka ị mara:

• Gịnị atụmatụ ke Boolean algebra;
• Mbelata na akakabarede iwu okwu;
• iji nke arụmọrụ.

Ugbu a anyị anya na ndị a okwu n'ụzọ zuru ezu. Ka anyị na-amalite na arụmọrụ. Ha bụ ndị mara mma mfe icheta.

1. Ihe mbụ anyị na-arịba ama na ezi uche multiplication, na akwụkwọ a na-akpọ a njikọ ọrụ. Ọ bụrụ na ọnọdụ e dere n'ụdị okwu, ọrụ gosiri site ihe abịazi nọdụ akọrọ, multiplication ịrịba ama, ma ọ bụ "&".
2. The ọzọ ọtụtụ ugboro ugboro na-eji ọrụ - ezi uche mgbakwunye ma ọ bụ disjunction. Ya akara akọrọ ma ọ bụ plus ịrịba ama.
3. A nnọọ mkpa mma bụ negation ma ọ bụ inversion. Cheta otú na Russian asụsụ ị dịpụrụ adịpụ nganiihu. Graphically, na inversion gosiri site a nganiihu tupu okwu, ma ọ bụ ndị kwụ n'ahịrị n'elu ya.
4. The ezi uche na ya pụta (ma ọ bụ echiche) gosiri site akụ uru nke nchọpụta. Ọ bụrụ na anyị na-atụle ọrụ si ele ihe anya nke na Russian asụsụ, ọ kwekọrọ na ụdị ikpe Ọdịdị: "ma ọ bụrụ na ... mgbe ...".
5. Next bụ narị afọ ise tupu, nke na-denoted abụọ na-ụzọ akụ. Na Russian, ọrụ bụ ka ndị a: "nanị ma ọ bụrụ na".
6. Sheffer strok ekewapụ ngosipụta abụọ nke vetikal mmanya.
7. Pierce Arrow, n'otu aka ahụ, Sheffer ọrịa strok, mbak okwu vetikal akụ na-atụ ala.

N'aka iburu n'obi na arụmọrụ ga-rụrụ na echesinụ usoro: negation, multiplication, adianade do, mmọdo, na narị afọ ise tupu. Maka arụmọrụ "Sheffer strok" na "ezi uche ma ọ bụ na" ọ dịghị ọchịchị nke mkpa. Ya mere, ha mkpa ka a rụrụ na iji na nke ha na-eguzo na a mgbagwoju okwu.

eziokwu table

Mfe Boolean okwu na-ewu eziokwu table maka ya n'ihu mkpebi-agaghị ekwe omume na-enweghị ihe ọmụma nke tebụl nke isi na. Ugbu a anyị na-enye izute na ha. Rịba ama na ụkpụrụ nwere ike ma a eziokwu ma ọ bụ ụgha uru.

N'ihi na njikọ nke table bụ dị ka ndị:

Isiokwu disjunction ọrụ maka:

negation:

n'ihi ya:

narị afọ ise tupu:

Barcode Schiffer:

Pierce Arrow:

simplification nke iwu

On ajụjụ nke otú mfe mgbagha okwu na kọmputa sayensị, ga-enyere anyị chọta azịza dị mfe ma doo anya na iwu nke mgbagha.

Ka anyị na-amalite na mfe iwu nke atuaha. Ọ bụrụ na anyị na-alụ ọtụtụ ndị na-abụghị echiche (A na Nea), mgbe ahụ anyị na-enweta a ụgha. Na ikpe nke na mgbakwunye na nke na-abụghị echiche, anyị na-enweta eziokwu ahụ, iwu ahụ na-akpọ "iwu nke ekwe n'etiti. ' Ọtụtụ mgbe, Boolean algebra e nwere okwu na a abụọ negation (bụghị Nea), mgbe ahụ anyị na-enweta azịza A. E nwekwara abụọ nke iwu de Morgan:

• ma ọ bụrụ na anyị nwere negation nke ezi uche dị na mgbakwunye, anyị na-enweta multiplication nke ngosipụta abụọ na inversion (bụghị (A + B) = * Nea Neuve);
• ụdị omume, na nke abụọ iwu, anyị rie agugo nke multiplication, anyị ga-esi tinye abụọ ụkpụrụ na inversion.

Nnọọ Ugboro mbiputegharị, otu uru (A ma ọ bụ B) kpụrụ ma ọ bụ ọtụtụ ọnụ. Na nke a, na iwu nke ugboro ugboro (= A * A + B ma ọ bụ A = B). E nwere iwu na mbụ:

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

E nwere ihe abụọ bonding iwu:

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

Mfe ezi uche okwu dị mfe ma ọ bụrụ na ị maara iwu Boolean algebra. Ihe niile e depụtara na nke a na ngalaba nke iwu isiokwu nwere ike nwalere empirically. N'ihi nke a anyị na-emeghe brackets dị ka iwu nke mgbakọ na mwepụ.

nlereanya 1

Anyị amụwo niile atụmatụ nke mfe ezi uche okwu, ọ bụ ugbu a dị mkpa inokota ọhụrụ ha ihe ha mụtara. Anyị na-atụ aro na ị na-eme ka ọnụ atụ atọ si n'ụlọ akwụkwọ ahụ ihe omume na tiketi nke n'otu obodo udomo oro.

Ke akpa atụ, anyị kwesịrị mfe okwu: (P * E) + (C * ya). Akpa, anyị na-atụgharị uche anyị na eziokwu na na ma mbụ na nke abụọ brackets nwere otu variables na-enye iji mee ka ya nke brackets. Mgbe anyị mere site emeghari okwu: C * (E + ya). Tupu anyị na-ele anya na iwu nke ekwe n'etiti, tinye ya na-akwanyere ndị okwu. Ịgbaso ya, anyị nwere ike ikwu na E + = 1 ya mere anyị okwu na-ewe n'ụdị: C * 1. Ihe okwu, anyị ka nwere ike a dị mfe site na ebe ọ maara na C 1 = C *.

nlereanya 2

Anyị ọzọ ọrụ ga-abụ: ihe bụ ka a simplified Boolean okwu na-adịghị (C + ya) bụghị + (C + E) + C * E?

Biko mara na nke a bụ ihe e negation nke mgbagwoju okwu, nke a kwesịrị tufuo, eduzi ndị na-iwu nke De Morgan. Etinye ha n'ọrụ, anyị na-enweta ndị na-esonụ okwu: * E + Nes Nes * ya + C * E. Ọzọkwa, anyị na-ahụ ugboro ugboro nke a na agbanwe na abụọ okwu, na-eme ya nke brackets: HEC * (E + ya) + C * E. Ọzọ, mee ihe mwepu Act: HEC * 1 + C * E. Anyị na-echeta na nkebi ahịrịokwu "Nes * 1" nhata Nes: Nes + C * E. Anyị na-enye iji distributive iwu: (HEC + C) * (HEC + E). Anyị na-etinye iwu nke ekwe n'etiti: HEC + E.

nlereanya 3

Ị hụrụ na bụ nnọọ mfe ka mfe Boolean okwu. Atụ №3 ga-ese na-erughị zuru ezu, na-agbalị ime ya onwe gị.

Mfe okwu: (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.

Dị ka ị pụrụ ịhụ, ma ọ bụrụ na ị maara iwu mfe mgbagwoju ezi uche okwu, mgbe ahụ, ọrụ a ga-eme ka unu nsogbu.