An algọridim maka iwu eziokwu tebụl nke ezi uche okwu

Taa, a akwụkwọ a ga-atụle n'ụzọ zuru ezu na nke nke iwu a eziokwu table nke ezi uche okwu. Na nsogbu a nọọkwa ụmụ akwụkwọ ndị na-enye n'otu obodo udomo oro na kọmputa sayensị. N'ezie, a na-akpọ Boolean algebra bụghị mgbagwoju ma ọ bụrụ na ị maara na ọ dị mkpa iwu, arụmọrụ na iwu maka iwu eziokwu tebụl. Ndị a bụ ajụjụ anyị na-aga na-eme taa.

Boolean algebra

mgbagha algebra dabeere na mfe ezi uche okwu, nke na-interconnected arụmọrụ, na-eke a mgbagwoju okwu. Rịba ama na Boolean algebra mejupụtara abụọ ọnụọgụ abụọ arụmọrụ: mgbakwunye na multiplication (na disjunction nke njikọ, karị); a unary - inversion. All mfe okwu (ọcha nke a mgbagwoju ezi uche okwu) iri abụọ ụkpụrụ: "1" ma ọ bụ "0", "ezi" ma ọ bụ "ụgha", "+" ma ọ bụ "-" karị.

algebra nke mgbagha dabeere a ole na ole dị nnọọ mfe axioms:

• associativity;
• bụ commutative;
• absorption;
• distributivity;
• additionality.

Ọ bụrụ na unu maara ihe ndị iwu na usoro nke ọrụ, ewu a eziokwu table nke ezi uche dị na okwu ga-eme ka ọ bụla ihe isi ike. Cheta na ime ihe ga-rụrụ na echesinụ usoro: negation, multiplication, adianade do, na ya pụta, narị afọ ise tupu, nanị mgbe ahụ gaa mmanya Schiffer ma ọ bụ ihe ezi uche ma ọ bụ arụmọrụ. Site n'ụzọ, n'ihi na nke ikpeazụ abụọ na ọrụ ndị mba iwu nke mkpa, mejuputa ha na iji na nke ha na-emi odude.

Iwu nke na-eru elu tebụl

Iwu a eziokwu table nke ezi uche dị na okwu na-enyere dozie ọtụtụ ezi uche nsogbu ma na-achọta ihe ngwọta na-mgbagwoju keukwu ihe atụ. Ọ bụ uru na-arịba ama na e nwere ụfọdụ iwu nke ha chịkọtara.

Iji kwesịrị ekwesị ka a ezi uche table, ọ dị mkpa na-amalite iji chọpụta na ọnụ ọgụgụ nke e nyere ahịrị. Olee otú ime ya? Gụọ ọnụọgụ nke variables na-eme ka a mgbagwoju okwu, na-eji dị mfe usoro: A = 2 na-ike n. Na - na nke a bụ ọnụ ọgụgụ nke e nyere ahịrị na table weere na eziokwu, n - bụ nọmba nke variables na-akụkụ nke a mgbagwoju ezi uche okwu.

Ihe Nlereanya: mgbagwoju okwu nwere atọ variables (A, B na C), mgbe ahụ, a akara ọjọọ ga-wuru na-atọ ogo. B bụ eziokwu table anyị ga-asatọ e. Tinye otu akara maka aha nke kọlụm.

Ọzọ, anyị na-atụgharị anyị okwu na-ekpebi iji nke omume rụrụ. Mma iji onwe ha a pensụl akara (otu, abụọ, na na).

Nzọụkwụ na-esonụ anyị gbakọọ nọmba nke arụmọrụ. Ihe nọmba - ọnụ ọgụgụ nke ogidi anyị table. Jide n'aka na-tinye ọbụna a ọnụ ọgụgụ nke ogidi dị ka variables dị na gị okwu, jupụta na o kwere omume n'ịgwa nke variables.

Ọzọ, ị mkpa jupụta okpu anyị table. N'okpuru ebe ị na-ahụ ihe atụ nke a.

Ugbu a gaba ndochi nke kwere omume n'ịgwa. Abụọ variables, ha dị ka ndị a: 00, 01, 10, 11. N'ihi atọ variables: 000, 001, 010, 011, 100, 101, 110, 111.

Mgbe niile n'elu-e kwuru ihe nwere ike n'ihu na ngụkọta oge nke ndị fọdụrụ mkpụrụ ndụ na-ejuputa na n'ihi table.

atụ

Anyị ugbu a tụlee ihe atụ nke iwu a table nke ezi uche dị na okwu bụ eziokwu: ndị inversion nke A + B * A.

1. Gụọ variables: 2. Number nke e: 4 + 1 = 5.
2. The egbu iji nke omume: mbụ inversion, nke abụọ njikọ, disjunction atọ.
3. Number nke ogidi: 3 + 2 = 5.
4. Inweta a n'ịkpọ na-ejuputa table.

Dị ka a na-achị, ndị ọrụ na-ada ka nke a: "Olee otú ọtụtụ n'ịgwa na-emeju F = 0" ma ọ bụ "na ihe n'ịgwa F = 1". Na mbụ ajụjụ na azịza - 1, nke abụọ - 00, 01, 11.

Nlezianya na-agụ ahụ ọrụ ahụ e nyere gị. Ị nwere ike n'ụzọ ziri ezi dozie nsogbu, ma na-eme ka a ndudue na-ede nzaghachi. Ọzọkwa m ise gị anya ka nke omume:

• agugo;
• multiplication;
• mgbakwunye.

ọrụ

Iwu a eziokwu table pụrụ inye aka ịchọta azịza a siri ezi uche nsogbu. Soro usoro nke nkwadebe nke okwu na eziokwu table maka ọnọdụ nke ndị ezi uche dị na-aga-eme ka i nwere ike na nkebi nke a nke isiokwu.

Nyere anọ ụkpụrụ nke A: 1), 7 2) 6, 3), 5, 4) 4. N'ihi na ụfọdụ n'ime ha na nkwupụta "inversion (nta A 6) + (erughị 5 A)" bụ ụgha?

Mbụ anyị kọlụm ga-ejupụta na ụkpụrụ 7, 6, 5, 4 chọrọ na nke a usoro. Na kọlụm na-esonụ, anyị ga-aza ajụjụ ahụ, sị: "na-erughị 6?" The atọ kọlụm jupụtara na otu, naanị ugbu a na azịza nke ajụjụ ahụ bụ: "Na-erughị 5?"

Anyị na-ekpebi na nsoro nke arụmọrụ. Cheta na agugo ewe ụzọ karịa disjunction. Ya mere, kọlụm na-esonụ anyị jupụta na ụkpụrụ na-ederịta akwụkwọ ozi ndị ọnọdụ bụghị (A na-erughị 6). The anọ ga-aza isi ajụjụ anyị nsogbu. N'okpuru ebe ị na-ahụ otu ihe atụ nke na-ejuputa na tebụl.

Biko mara na anyị nwere ọnụ ọgụgụ nke Ibọrọ, a ụgha okwu bụ a uru nke A = 5, na nke a bụ atọ version nke azịza.