Simple mgbagha arụmọrụ kọmputa

Onye ọ bụla nke na-amalite na-amụ kọmputa sayensị, na-akụziri na ọnụọgụ abụọ nọmba usoro. Ọ na-eji na-compute ezi uche arụmọrụ. Tụlee niile kasị elementrị ezi uche arụmọrụ kọmputa sayensị. Mgbe niile, ma ọ bụrụ na ị na-eche banyere ya, ha na-eji ike Baịbụl nke na kọmputa na ngwaọrụ.

agugo

Tupu ịmalite iji tụlee n'ụzọ zuru ezu na ihe ndị na-atụ depụta isi ezi uche arụmọrụ na a na kọmputa:

• agugo;
• adianade;
• multiplication;
• na-eso;
• hara nhata.

Ọzọkwa, tupu ịmalite ọmụmụ nke mgbagha arụmọrụ bụ na-ekwu na Computer Science ụgha ẹkedọhọde "0", ma eziokwu "1".

N'ihi na ọ bụla ihe, dị ka na nkịtị mgbakọ na mwepụ, na-esonụ ihe ịrịba ama nke ezi uche dị na arụmọrụ-eji na kọmputa sayensị: ¬, v, &, ->.

Ọ bụla edinam na o kwere omume na-akọwa ihe ọ bụla nọmba 1/0, ma ọ bụ nanị ezi uche okwu. Iji malite na-atụle nke mgbakọ na mwepụ mgbagha na a mfe ime ihe iji nanị otu agbanwe.

Logical negation - inversion ọrụ. The ala akara bụ na ọ bụrụ na ndị mbụ okwu - eziokwu ahụ, inversion N'ihi bụ - a ụgha. Ọzọ, ọ bụrụ na mbụ okwu - a ụgha, mgbe ahụ, N'ihi ga-abụ ihe inversion - eziokwu.

Mgbe ekewetde a okwu anyị na-eji ndị na-esonụ notation "¬A".

Anyị na-enye eziokwu table - a circuit nke na-egosi niile kwere omume pụta arụmọrụ maka ihe ọ bụla iyi data.

Nke ahụ bụ, ma ọ bụrụ na anyị nwere mbụ okwu - ezi (1), mgbe ahụ, ya negation bụ ụgha (0). Ma ọ bụrụ na ndị mbụ okwu - ụgha (0), mgbe ahụ, ya negation - ezi (1).

mgbakwunye

Ndị fọdụrụ arụmọrụ achọ abụọ variables. Ịpụta otu okwu - A abụọ - B. Logical arụmọrụ kọmputa nke na-anọchi adianade ọrụ (ma ọ bụ disjunction), ma ọ bụ mgbe na-ede kpọrọ okwu "ma ọ bụ", ma ọ bụ akara "v". Dee kwere omume nhọrọ maka data na ihe mgbawa.

1. E = 1, n = 1, mgbe ahụ, E v n = 1. Ọ bụrụ na ngosipụta abụọ nke bụ eziokwu, mgbe ha disjunction bụkwa eziokwu.
2. E = 0, n = 1, emecha E v = H 1 E = 1, H = 0, mgbe ahụ, E v N = 1. Ọ bụrụ na ọ dịkarịa ala, otu n'ime okwu ndị bụ eziokwu, mgbe ahụ n'ihi ha mgbakwunye bụ eziokwu.
3. E = 0, H = 0, n'ihi bụ E v H = 0. Ọ bụrụ na ma okwu ụgha, mgbe ahụ, ha nchikota bụkwa - a ụgha.

N'ihi nkpunkpu anyị na ike a eziokwu table.

multiplication

Ebe si mesoo na mgbakwunye na ọrụ, ịga multiplication (njikọ). Anyị na-eji otu ihe atụ, bụ nke e nyere n'elu maka mgbakwunye. Mgbe ede a ezi uche multiplication na-denoted site "&" akara ma ọ bụ akwụkwọ ozi "m".

1. E = 1, n = 1, mgbe ahụ, E & H = 1. Ọ bụrụ na ngosipụta abụọ nke bụ eziokwu, mgbe ha njikọ - eziokwu.
2. Ọ bụrụ na ọ dịkarịa ala otu n'ime okwu ndị - a ụgha, mgbe ahụ, n'ihi nke ezi uche multiplication bụkwa ụgha.

• E = 1, N = 0, otú E & H = 0.
• E = 0, n = 1, mgbe ahụ, E & H = 0.
• E = 0, H = 0, a ngụkọta nke E & H = 0.

N'ihi

The ezi uche na ime usoro (mmetuta) - n'otu nke mfe mgbakọ na mwepụ mgbagha. Ọ dabeere na a otu axiom - nke eziokwu pụghị iso a ụgha.

1. E = 1, N =, otú E -> N = 1. Ọ bụrụ na a di na nwunye bụ na ịhụnanya, mgbe ahụ, ha nwere ike susuo - eziokwu.
2. E = 0, n = 1, mgbe ahụ, E -> N = 1. Ọ bụrụ na a ụzọ na-adịghị egwepịa, ha nwere ike susuo - nwekwara ike ịbụ eziokwu.
3. E = 0, H = 0, a E -> N = 1. Ọ bụrụ na ụzọ bụ na ịhụnanya, mgbe ahụ, ha na-adịghị susuo - bụkwa eziokwu.
4. E = 1, n = 0, n'ihi bụ E -> N = 0. Ọ bụrụ na ụzọ ịhụnanya, ha adịghị susuo - ụgha.

Ikwado ogbugbu nke mgbakọ na mwepụ arụmọrụ dị ka anyị na-ewetara eziokwu table.

hara nhata

The ikpeazụ ọrụ ga-atụle a ezi uche amata hara nhata ma ọ bụ narị afọ ise tupu. Ke ederede, ọ nwere ike na-ezo dị ka "... ma ọ bụrụ na na naanị ma ọ bụrụ na ...". Dabere na nke a Nwa, anyị dee niile atụ malite nke a.

1. A = 1, B = 1, mgbe ahụ, A≡V = 1. The onye na-aṅụ mbadamba ma ọ bụrụ na na naanị ma ọ bụrụ na ọrịa. (Ezi)
2. A = 0, B = 0, dị ka a N'ihi A≡V = 1. Man anaghị aṅụ mbadamba, na mgbe ahụ bụ naanị mgbe bụghị na-arịa ọrịa. (Ezi)
3. A = 1, B = 0, otú A≡V = 0. Onye mbadamba na-aṅụ ma ọ bụrụ na naanị ma ọ bụrụ na ọ dịghị na-arịa ọrịa. (Ụgha)
4. A = 0, B = 1, mgbe ahụ, A≡V = 0. Onye mbadamba ma ọ bụ na-aṅụ ma ọ bụrụ na naanị ma ọ bụrụ na ọrịa. (Ụgha)

Njirimara

Otú ahụ, tụlee a mfe mgbagha arụmọrụ kọmputa sayensị, anyị nwere ike na-amalite na-amụ ụfọdụ ha Njirimara. Dị ka mgbakọ na mwepụ, mgbagha arụmọrụ adị ya iji nhazi. Na nnukwu arụmọrụ ezi uche okwu na parentheses na-rụrụ mbụ. Mgbe ha, ihe mbụ anyị gụọ niile ụkpụrụ ke atụ nke agugo. Nzọụkwụ na-esonụ bụ ngụkọta oge nke ndị njikọ, mgbe ahụ disjunction. Ọ bụ mgbe ahụ mepụta nchoputa ọrụ ma, ke akpatre, narị afọ ise tupu. Tụlee a obere atụ maka doo anya.

A v B & ¬V -> Mgbe ≡ A

The usoro maka arụ na-esonụ omume.

1. ¬V
2. Na & (¬V)
3. A v (V & (¬V))
4. (A v (B & (¬V))) -> B
5. ((A v (V & (¬V))) -> B) ≡A

Iji dozie a atụ, anyị ga-mkpa na-ewu ihe gbasaa eziokwu table. Mgbe e kere, cheta na ogidi na-mma enịm ke otu iji na nke a ga-rụrụ na ime ihe.

Dị ka anyị pụrụ ịhụ, n'ihi nke sample ngwọta ga-abụ onye ikpeazụ kọlụm. The eziokwu table enyewo aka dozie nsogbu na ihe ọ bụla pụrụ isi data.

ọgwụgwụ

Ke ibuotikọ emi m na-atụle ụfọdụ n'ime echiche nke mgbakọ na mwepụ mgbagha, dị ka kọmputa sayensị, Njirimara nke mgbagha arụmọrụ, na - ihe bụ ihe ezi uche arụmọrụ na ha onwe ha. Ụfọdụ mfe atụ na e nyere maka ihe ngwọta nke nsogbu na mgbakọ na mwepụ uche na eziokwu tebụl ka mfe na usoro a.