Simpla logiko operacioj en komputilo

Iu ajn kiu komencas studi komputiko, instruante la duuma nombrosistemo. Ĝi estas uzata por komputi la logika operacioj. Konsideru la sekvan ĉiuj plej elementa logika operacioj en komputiko. Ja se vi opinias pri ĝi, ili estas uzataj por krei la logiko de komputiloj kaj aparatoj.

neo

Antaŭ komenci konsideri detale la specifaj ekzemploj listo la baza logika operacioj en komputilo:

• neo;
• Krome;
• multipliko;
• sekvi;
• egaleco.

Ankaŭ, antaŭ komenci la studon de logiko operacioj estas ke en Komputila Scienco kuŝas designado "0", sed la vero "1".

Por ĉiu ago, kiel en normala matematiko, la jenaj signoj de logika operacioj uzataj en komputiko: ¬, v, &, ->.

Ĉiu ago eblas priskribi ajnan nombroj 1/0, aŭ nur logika esprimoj. Por komenci la konsideron de matematika logiko per simpla operacio uzanta nur unu variablo.

Logika nego - inversiga operacio. La malsupra linio estas ke se la komencan esprimon - la vero, la inversigo rezulto estas - mensogo. Male, se la komenca esprimo - mensogo, tiam la rezulto estos inversigo - la veron.

Kiam skribanta ĉi esprimo ni uzas la sekvan notacion "¬A".

Ni donu vertabelo - cirkviton kiu montras ĉiujn eblajn rezultojn de operacioj por ajna fonto datumoj.

Tio estas, se ni havas la originalan esprimon - vera (1), tiam ĝia nego estas falsa (0). Se la komenca esprimo - falsa (0), tiam ĝia nego - vera (1).

Krome

La ceteraj operacioj postulas du variabloj. Signifas unu esprimo - Kaj la dua - V. La logika operacioj en komputiko, la designar operacioj de adicio (aŭ disjunkcio), skribe estas designados ĉu per la vorto "aŭ", aŭ la ikono "v". Skribi el eblaj ebloj por datumoj kaj rezultoj de kalkuloj.

1. E = 1, n = 1, tiam E v n = 1. Se la du esprimoj estas veraj, do ilia disjunkcio estas ankaŭ vera.
2. E = 0, n = 1, rezulte de E v n = 1 E = 1, n = 0, tiam E v n = 1. Se Almenaŭ unu el la esprimoj estas vera, tiam la rezulto de la aldono estas la vero.
3. E = 0, H = 0, la rezulto estas E v H = 0. Se ambaŭ esprimoj estas falsaj, do ilia sumo estas ankaŭ - mensogo.

Por koncizeco, ni kreos vero tablo.

multipliko

Post pritraktis la aldono operacio, movi al multipliko (konjunkcio). Ni uzas la samajn simbolojn, kiuj estas donitaj pli supre por aldono. Kiam skribanta logika multipliko estas signifita per la "&" simbolo aŭ la letero "mi".

1. E = 1, n = 1, do E & H = 1. Se la du esprimoj estas veraj, do ilia kune - vera.
2. Se almenaŭ unu el la esprimoj - mensogo, do la rezulto de la logika multipliko estas ankaŭ mensogo.

• E = 1, N = 0, do E & H = 0.
• E = 0, n = 1, do E & H = 0.
• E = 0, H = 0, tuta de E & H = 0.

rezulto

La logika operacio sinsekvo (implico) - en unu el la plej simpla matematika logiko. Ĝi estas bazita sur ununura aksiomo - de la vero ne povas sekvi mensogo.

1. E = 1, N =, do E -> N = 1. Se paro estas en amo, tiam ili povas kisi - la veron.
2. E = 0, n = 1, tiam E -> N = 1. Se paro ne dispremi, ili povas kisi - povas ankaŭ esti vera.
3. E = 0, H = 0, ĉi E -> N = 1. Se la paro ne estas en amo, tiam ili ne kisi - estas ankaŭ vera.
4. E = 1, n = 0, la rezulto estas E -> N = 0. Se la paro amo, ne kisi - mensogo.

Por faciligi la ekzekuto de matematikaj operacioj kiel ni prezentu vero tablo.

egaleco

La lasta operacio estos konsiderita logika identeco egaleco aŭ ekvivalento. En la teksto, ĝi povas esti referita kiel "... se kaj nur se ...". Bazita sur ĉi tiu formulado, ni skribos ĉiuj ekzemploj por komenci ĉi.

1. A = 1, B = 1, do A≡V = 1. La persono trinkante pilolojn se kaj nur se malsana. (Vera)
2. A = 0, B = 0, rezulte A≡V = 1. Viro ne trinkas tabeloj, kaj tiam nur kiam ne malsana. (Vera)
3. A = 1, B = 0, do A≡V = 0. Individua tabeloj trinki se kaj nur se neniu malsana. (Falsa)
4. A = 0, B = 1, do A≡V = 0. Individua tabeloj aŭ trinki se kaj nur se malsana. (Falsa)

ecoj

Do, konsideri simpla logiko operacioj en komputiko, oni povas komenci studi iuj de liaj proprietoj. Kiel en matematiko, logiko operacioj ekzistas en lia ordon prilaborado. En grandaj operacioj logika esprimoj en krampoj estas faritaj unue. Post ili, la unua afero ni nomas ĉiujn valorojn en la ekzemplo de neo. La sekva paŝo estas la ŝtono de la konjunkcio, tiam la disjunkcio. Nur tiam efektivigi la esploro operacio kaj, fine, la ekvivalenteco. Konsideru malgranda ekzemplo por klareco.

A v B & ¬V -> Ĉe ≡ A

La proceduro por realigi la sekvajn agojn.

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

Por solvi ĉi tiun ekzemplon, ni bezonos konstrui vastigita vero tablo. Kiam ĝi estis kreita, memoru ke la kolumnoj estas pli bone metita en la sama organizo, en kiu estos efektivigita kaj ago.

Ni kiel povas vidi, la rezulto de la decido estos ekzemplo de la lasta kolumno. La vero tablo helpis solvi la problemon kun iu ajn ebla fonto datumoj.

konkludo

En ĉi tiu artikolo mi diskutas kelkaj el la konceptoj de matematika logiko, kiel ekzemple komputiko, la proprietoj de logiko operacioj, kaj - kio estas la logika operacioj sur sia propra. Kelkaj simplaj ekzemploj estas donitaj por la solvo de problemoj en matematika logiko kaj vero tabloj simpligi ĉi tiu procezo.