Computer Imọ: òtítọ tabili. Ko otitọ tabili

Loni a soro nipa awọn koko ti a npe ni Imọ. Awọn otitọ tabili, orisirisi awọn iṣẹ, awọn aṣẹ ti ipaniyan - wọnyi ni o wa wa ipilẹ ibeere eyi ti a yoo gbiyanju lati ri idahun ni article.

Maa awọn dajudaju ti wa ni kọwa ni ile-iwe giga, sugbon opolopo omo ile ni fa ede aiyede ti diẹ ninu awọn ẹya ara ẹrọ. Ati awọn ti o ti wa ni lilọ lati fi aye mi, o kan ko le se lai o nri kan nikan ipinle kẹhìn ni kọmputa Imọ. Awọn otitọ tabili, o nyi eka expressions, awọn ipinnu kannaa isoro - o le pade gbogbo awọn tiketi. A bayi ro ni diẹ si awọn apejuwe yi koko ati ki o ran o gba diẹ balls lori kẹhìn.

awọn kannaa ti awọn koko-

Ohun ti Iru koko - kọmputa Imọ? Awọn otitọ tabili - bi o si kọ o? Idi ti Imọ ni awọn kannaa? Si gbogbo awọn wọnyi ibeere, a yoo dahun pẹlu ti o bayi.

Alaye ọna ẹrọ - o ni oyimbo kan fanimọra koko. O le ko ni le soro ni awujo igbalode, nitori ohun gbogbo ti o yí wa wa, ona kan tabi miiran, jẹmọ si awọn kọmputa.

Ibere ti kannaa ti Imọ ni o wa Atẹle ile-iwe olukọ ni Imọ eko. Truth tabili, awọn iṣẹ, simplifying expressions - gbogbo yi o yẹ ki se alaye awọn olukọ ti kọmputa sayensi. Eleyi Imọ ni Egba pataki ninu aye wa. Wo ni pẹkipẹki, ohun gbogbo ti jẹ koko ọrọ si eyikeyi ofin. Ti o gbin ni rogodo, o fò soke, sugbon ki o si subu pada si ile aye, o je nitori ti awọn ofin ti fisiksi ati awọn ologun ti walẹ. Mama se awọn bimo ki o si fi iyọ. Kí nìdí nigba ti a ba jẹ, a ko wá kọja awọn oka? Oyimbo nìkan, iyọ ni tituka ninu omi, koko ọrọ si awọn ofin ti kemistri.

Bayi san ifojusi si awọn ọna ti o ba sọrọ.

• "Ti mo ba n lilọ lati ya rẹ o nran to a ti ogbo iwosan, o ni lati wa ni vaccinated."
• "Loni je kan gidigidi soro ọjọ, nitori ti o ni lati ṣayẹwo."
• "Emi ko fẹ lati lọ si University, nitori loni ni yio je a colloquium", ati bẹ lori.

Ohunkohun ti o sọ, jẹ daju lati pa awọn ofin ti kannaa. Eleyi kan mejeji si owo ati si awọn ore ibaraẹnisọrọ. O ti wa ni fun idi eyi o jẹ pataki lati ni oye awọn ofin ti kannaa, ko lati sise ni ID, ki o si wa igboya ninu awọn abajade ti awọn iṣẹlẹ.

awọn iṣẹ

Ni ibere lati ṣe otitọ tabili fun awọn ti dabaa iṣẹ-ṣiṣe ti o nilo lati mọ awọn kannaa awọn iṣẹ. Ki ni o? Kannaa iṣẹ ni o ni diẹ oniyipada, eyi ti o wa gbólóhùn (otitọ tabi eke), ati iye ti awọn iṣẹ ara yẹ ki o fun wa ni idahun si ibeere: "Awọn ikosile jẹ otitọ tabi èké."

Gbogbo expressions ni awọn wọnyi iye:

• Otitọ tabi èké.
• T tabi F.
• 1 tabi 0.
• Plus tabi iyokuro.

Nibi, fun ààyò si kan ọna ti o jẹ diẹ rọrun fun o. Ni ibere lati ṣe kan òtítọ tabili, a nilo lati akojö gbogbo awọn akojọpọ ti oniyipada. Iye wọn ti wa ni iṣiro nipasẹ awọn agbekalẹ: 2 to agbara n. Awọn esi ti isiro - awọn nọmba ti o ti ṣee awọn akojọpọ ti awọn ayípadà n ni awọn agbekalẹ ntọka si awọn nọmba ti àwọn ayípadà ni majemu. Ti o ba ti ikosile ni o ni opolopo ti àwọn ayípadà, o le lo ẹro iṣiro fun ara re tabi ṣe kan kekere tabili pẹlu awọn okó ti meji si agbara.

Gbogbo kannaa iṣẹ ni o wa meje tabi ìde sisopo ni ikosile:

• Isodipupo (apapo).
• Afikun (disjunction).
• Rinlẹ (lowo).
• Ṣe deede.
• Ayida.
• Sheffer ọpọlọ.
• Pierce Arrow.

Ni igba akọkọ ti isẹ, ni ipoduduro ninu akojọ, ni a npe ni "mogbonwa isodipupo." O le wa ni woye graphically ni awọn fọọmu ti ẹya inverted ami, ami & tabi *. Awọn keji igbese ni wa akojọ - mogbonwa afikun, graphically han bi a ami +. Awọn lowo ni a mogbonwa Nitori, fihan nipa ọfà ntokasi lati awọn ipo lori iwadi. Ṣe deede ti wa ni ti tọka si nipa meji-ọna itọka, awọn iṣẹ ni o ni a otito iye nikan ni igba ti koodu mejeji iye ya a iye ti "1" tabi "0". Ayida ni a mogbonwa isododi. Sheffer ọpọlọ iṣẹ ni a npe ni, ti o ba tako awọn apapo ati ki o mogbonwa tabi - iṣẹ, negating awọn disjunction.

Ipilẹ alakomeji awọn iṣẹ

Mogbonwa otitọ tabili iranlọwọ lati ri ohun idahun si awọn isoro, ṣugbọn ti o ba nilo lati ranti awọn tabili ti alakomeji awọn iṣẹ. Ni yi apakan, won yoo pese.

Apapo (isodipupo). Ti o ba ti meji expressions ni o wa otito, awọn esi ti a gba awọn otitọ, ni gbogbo igba miiran ti a gba a luba.

O wulẹ bi a tabili, o mọ, ki o si nibẹ ni ko si ye lati mu o si gbogbo awọn fomula. Ni awọn aworan loke ti o ti le ri ninu awọn igba miiran, awọn esi ni dogba si ọkan.

Esi - dubulẹ ni mogbonwa afikun ti a ba wa nikan ni irú meji eke igbewọle.

Awọn mogbonwa Nitori ti a eke esi nikan nigbati awọn majemu jẹ otitọ, bi a Nitori - a luba. O le fun ohun apẹẹrẹ lati aye: "Mo fe lati ra suga, ṣugbọn awọn itaja ti a ni pipade," Nitorina, awọn suga ati ki o ko ra.

Ṣe deede jẹ otitọ nikan ninu ọran ti aami input iye. Ti o ni, nigbati orisii ti "0, 0" tabi "1, 1".

Ni awọn nla ti ayida gbogbo ìṣòro, ti o ba awọn input jẹ otitọ ikosile, o ti wa ni iyipada si eke, ati idakeji. Ni awọn aworan ti o le ri bi o ti wa ni itọkasi graphically.

Schiffer bar o wu ni yoo ni a eke esi nikan ti o ba nibẹ ni o wa meji gidi expressions.

Ni awọn nla ti mogbonwa tabi iṣẹ yoo jẹ otitọ nikan ninu ọran ti o ba ti input ti a ni nikan èké expressions.

Ninu ohun ti ibere lati ṣe mogbonwa mosi

Akiyesi pe awọn ikole ti otitọ tabili ati simplification ti expressions ni ṣee ṣe nikan nigbati awọn ti o tọ aṣẹ ti mosi. Ranti awọn ọkọọkan ninu eyi ti nwọn yẹ ki o wa ti gbe jade, o jẹ pataki lati gba awọn ti o tọ esi.

• mogbonwa isododi;
• isodipupo;
• afikun;
• iwadi;
• ṣe deede;
• kiko ti isodipupo (Sheffer ọpọlọ);
• kiko ti afikun (arrow Pierce).

apẹẹrẹ №1

A bayi eto lati ro awọn apẹẹrẹ ti ko kan otitọ tabili fun awọn 4 oniyipada. O nilo lati mọ ninu eyi ti igba F = 0 ninu idogba: Nea + B + C * D

Awọn idahun si iṣẹ yi ni yio je awọn gbigbe ti awọn wọnyi awọn akojọpọ: "1, 0, 0, 0", "1, 0, 0, 1" ati "1, 0, 1, 0". Bi o ti le ri, ṣe awọn tabili oyimbo nìkan ni otitọ. Lekan si ni mo yoo fẹ lati fa ifojusi rẹ si awọn aṣẹ ti awọn sise. Ni awọn kan pato nla, ti o wà bi wọnyi:

1. Awọn ayida ti akọkọ ti o rọrun ikosile.
2. Awọn apapo ti awọn kẹta ati ẹkẹrin expressions.
3. Disjunction keji ikosile pẹlu awọn esi ti tẹlẹ isiro.

apẹẹrẹ №2

Bayi a ba wo ni miiran ise ti o nbeere awọn ikole ti a otitọ tabili. Iširo (apeere won ya lati ile-iwe dajudaju) le ni mogbonwa isoro bi itọkasi. A finifini wo ni ọkan ninu wọn. Ṣe Vanya jẹbi jiji awọn rogodo, ti o ba ti o mọ awọn wọnyi:

• Ti o ba ti Vanya kò ji tabi jiji Peter, ki o si Sergei kopa ninu awọn ole.
• Ti o ba ti Ivan ni ko jẹbi, ki o si Sergei kò ji awọn rogodo.

A agbekale awọn amiakosile: Mo - Ivan ji awọn rogodo; P - Peter ji; C - Sergei ji.

Labẹ yi majemu, a le ṣe awọn idogba: F = ((nei + R) lowo C) * (nei lowo HEC). A nilo awon awọn aṣayan, ibi ti awọn iṣẹ gba awọn otito iye. Next, ṣẹda a tabili, nitori yi iṣẹ ni bi Elo bi 7 igbese, o yoo wa ni ti own. A yoo ṣee ṣe nikan nipasẹ awọn input data ati awọn esi.

Akiyesi pe ni isoro yi a ni, dipo ti "0" aami ati "1" lilo awọn plus ati iyokuro. O jẹ tun itewogba. A ni o wa nife ninu a apapo, ni ibi ti F = +. Lẹhin ti gbeyewo wọn, a le fa awọn wọnyi ipari: Vanya kopa ninu awọn ole ti ni rogodo, bi ni gbogbo igba ibi ti F gba awọn iye +, ati ki o ni o ni kan rere iye.

apẹẹrẹ №3

Bayi ti a nse o lati ri awọn nọmba ti awọn akojọpọ nigba ti F = 1. Idogba jẹ bi wọnyi: F = Nea + B * A + Neuve. A tabili ti otitọ:

A: 4 apapo.