Computer nesayenzi: tafura chokwadi. Kuveza chokwadi pamatafura

Nhasi isu kutaura nezvazvo inonzi nesayenzi. Tafura chokwadi, akasiyana-siyana mashandiro, murayiro kuurayiwa - izvi mibvunzo yedu zvinokosha izvo tichaedza kuwana mhinduro munyaya.

Kazhinji kosi inodzidziswa chesekondari, asi vadzidzi vazhinji ndiko chikonzero kusanzwisisa vamwe zvinhu. Uye kana uri kuenda chose upenyu hwangu, izvozvo chete kuita pasina kuisa kusaroora bvunzo computer nesayenzi. Tafura chokwadi, vachichinja kunzwisisa mashoko, chisarudzo pfungwa matambudziko - unogona kusangana ose tikiti. We funga zvino muudzame nyaya iyi uye kukubatsira kuwana mamwe balls pamusoro bvunzo.

kuti pfungwa yacho

Imhandoi pasi - kombiyuta nesayenzi? The tafura chokwadi - sei kuivaka? Sei sainzi ndiyo pfungwa? Mibvunzo yose iyi, tichaita kupindura nemi zvino.

Information michina - zviri zvikuru inofadza nyaya. Zvingasava nyore evanhu vemazuva ano, nokuti zvose isu unopoteredza, nzira imwe kana mumwe, chokuita kombiyuta.

Kunyatsogona pfungwa sayenzi vari yechipiri vadzidzisi chikoro zvidzidzo zvesayenzi. Chokwadi matafura, mashandiro, kurerutsa mashoko - izvi zvose zvinofanira kutsanangura mudzidzisi kombiyuta nesayenzi. sainzi ichi kunokosha muupenyu hwedu. Nyatsoongorora, zvose zviri pasi chero mutemo. Makadyara bhora, izvozvo nendege kumusoro, asi zvino wakawira akadzokera pasi, imhaka mitemo wefizikisi uye masimba regiravhiti. Amai Anobika mumuto uye kuwedzera munyu. Sei kana isu kudya, hatina kuuya mhiri tsanga? Zvikuru nyore, munyu zvazvichanyungudutswa mvura, pasi mitemo wekemisitiri.

Zvino kuteerera aunoita kutaura.

• "Kana ndiri kuzotora katsi yako wemhuka kukiriniki, anofanira nhomba."
• "Nhasi raiva zuva rakaoma zvikuru, nekuti iwe une kuongorora."
• "Handidi kuenda kuyunivhesiti, nekuti nhasi uchava colloquium", uye zvichingodaro.

Chese munoti, iva nechokwadi kuti kuteerera mitemo pfungwa. Izvi zvinoshandawo zvose zvebhizimisi uye kukurukurirana noushamwari. Chikonzero ichi zvakakosha kunzwisisa mitemo pfungwa, kwete kuita pavaidira, uye kuva nechivimbo migumisiro zviitiko.

mabasa

Kuitira kuti tafura chokwadi kuti yaida basa unofanira kuziva pfungwa mabasa. Chii? Musoro basa rine zvimwe variables, izvo mashoko (chokwadi kana kuti nhema), uye kukosha mashandiro pachayo inofanira kutipa mhinduro yomubvunzo wokuti: ". Mashoko ndokwechokwadi kana nhema"

Mashoko ose vane anotevera tsika:

• Chokwadi kana kuti nhema.
• T kana F.
• 1 kana 0.
• Plus kana kubvisa.

Pano, ipai kupfuura nzira iyo yamunenge iwe. Kuti tafura chokwadi, tinofanira kunyora zvose mubatanidzwa variables. nhamba yavo rinowanikwa kubudikidza nzira: 2 kuti simba n. Mubayiro kukarukureta - nhamba zvichibvira mubatanidzwa pakati shanduka N iri nzira rinoreva nhamba variables mu mamiriro. Kana mashoko ane yakawanda variables, unogona kushandisa karukureta woga kana kuita diki tafura pamwe erection vaviri kune simba.

All mabasa pfungwa dziri nomwe kana zvisungo dzaibatanidza okuti:

• Chokuwanziridza (pachiimbwa).
• Kuwedzera (disjunction).
• Corollary (kunanga).
• Yokuenzana.
• Inversion.
• Sheffer sitiroko.
• Pierce Arrow.

Mukushanda wokutanga, anomirirwa ari pamazita, anonzi "inonzwisisika chokuwanziridza." Zvinogona kucherechedzwa yakanyatsotsanangura muchimiro ane inverted chishambwe, zviratidzo & kana *. Danho rechipiri kwedu pamazita - musoro Uyezve, zvakajeka kuratidzwa kuva chishambwe +. Chirevo chinhu chezvaizoitika, zvinoratidzwa museve zvigunwe kubva ezvinhu kuferefeta. Yokuenzana runotaurwa vaviri-nzira museve, mashandiro ane ukoshi wechokwadi chete vanenge Mubumbiro zvose tsika kutora kukosha "1" kana "0". Inversion inhaurwa negation. Sheffer Kurohwa basa anonzi, iyo anoramba pachiimbwa uye musoro kana - basa, negating ari disjunction.

Basic binary mabasa

Kukurukurwa chokwadi tafura kunobatsira kuwana mhinduro kuna dambudziko, asi unofanira kutafura binary mabasa kurangarira. Muchikamu chino, ivo zvicharangarirwa.

Pachiimbwa (chokuwanziridza). Kana mashoko maviri ndezvechokwadi, mugumisiro tinowana chokwadi, mune zvimwe zviitiko zvose tinowana nhema.

Zvinoita wakaita tafura, munoziva, saka hapana chikonzero nacho Masvomhu zvose. Pamufananidzo pamusoro unogona kuona dzimwe nguva, zvinoguma akaenzana mumwe.

Result - nhema panguva musoro Kuwedzera tiri chete nyaya dzenhema zvinoshandisa pakurima maviri.

The chezvaizoitika Somugumisiro zvenhema chete kana mamiriro ichokwadi, Somugumisiro - nhema. Unogona kupa muenzaniso kubva muupenyu: "Ndaida kutenga shuga, asi muchitoro yakavharwa," Naizvozvo, shuga uye kwete kutengwa.

Yokuenzana ndeyechokwadi chete panyaya dzakafanana chiyamuro tsika. Kureva, kana yegwara "0, 0" kana "1, 1".

Kana inversion zvokutanga zvose, kana mazano ari mashoko wechokwadi, zviri kutendeukira nhema, uye vakutarisire. Mumufananidzo unogona kuona sei kunoratidzwa zvakajeka.

Schiffer bhaa goho achava venhema mugumisiro chete kana paine vaviri mashoko chaiwo.

Kana musoro kana mashandiro zvichaitikawo chete panyaya kana mazano tine mashoko zvenhema chete.

In chii Kuti aite musoro akavhiyiwa

Cherechedza kuti kuvaka chokwadi matafura uye anoitwa mashoko runobvira chete kana nenhevedzano remapazi. Rangarirai kutevedzana yavaifanira kuitwa, zvinokosha chaizvo kuti zvakarurama mugumisiro.

• inonzwisisika negation;
• chokuwanziridza;
• Uyezve;
• kuferefeta;
• yokuenzana;
• nokumunyima chokuwanziridza (Sheffer sitiroko);
• Kuramba Kuwedzera (museve Pierce).

muenzaniso №1

zvino isu zvamaronga kuti funga nezvomuenzaniso rokuvaka tafura chokwadi nokuda 4 variables. Unofanira kuziva umo nyaya F = 0 mu mukana wokuti vanhu vanga: Nea + B + C * D

Mhinduro basa iri richava kuchinjwa zvinotevera mubatanidzwa: "1, 0, 0, 0", "1, 0, 0, 1" uye "1, 0, 1, 0". Sezvaunogona kuona, kuti tafura zvikuru nyore chokwadi. Zvakare ndinoda kuwana kwako pfungwa hurongwa zviito. Panguva chaiyo nyaya, zvakanga sezvinotevera:

1. The inversion yokutanga nyore kutaura.
2. The tikafunga yechitatu uye chechina mashoko.
3. Disjunction wechipiri mashoko nemigumisiro dzokutambura Masvomhu.

muenzaniso №2

Zvino isu kutarisa rumwe basa kuti inoda kuvaka patafura chokwadi. Kadambari (mienzaniso yakatorwa kosi chikoro) vangava nezvinetso musoro sezvo bhuku. A kumboongorora mumwe wavo. Ita Vanya nemhosva yekuba bhora, kana uchiziva zvinotevera:

• Kana Vanya kuba kana kuba Peter, ipapo Sergei muchirongwa kuba.
• Kana Ivan haisi mhosva, uye Sergei kuba bhora.

We kuzozivisa notation: I - Ivan akaba bhora; P - Peter akaba; C - Sergei akaba.

Pasi rino ezvinhu, tinogona kuti mukana wokuti vanhu vanga: F = ((Nei + R) Zvairehwa C) * (Nei kunanga hec). Tinoda nzira avo, apo mashandiro anotora kukosha kwechokwadi. Next, kusika netafura, nekuti basa iri sezvo zvikuru sezvo 7 chiito, zvicharangarirwa kusiyiwa. Isu achaitwa bedzi mazano Data uye zvabuda.

Cherechedza kuti mune dambudziko iri tine, pane "0" zviratidzo uye "1" vachishandisa ndinoiitawo uye kubvisa. Uyewo zvinogamuchirika. Tiri vanofarira mubatanidzwa, apo F = +. Aongorora navo, tinogona kuswedera zvinotevera mhedziso: Vanya muchirongwa kuba bhora, sezvinoitwa zviitiko zvose apo F anotora mutengo +, uye ane akanaka ukoshi.

muenzaniso №3

Zvino isu muchindivigira kuwana nhamba anofambidzana apo F = 1. Mukana wokuti vanhu vanga riri sezvinotevera: F = Nea + B * A + Neuve. A tafura chokwadi:

A: 4 mubatanidzwa.