Mitemo Boolean

makombiyuta Modern kwakavakirwa "yekare" zvemagetsi makombiyuta, kuvimba nevamwe postulates sezvo zvinodiwa zvinokosha kushanda. Vari kunzi mitemo nemasvomhu nomufungo. Chirango yokutanga kwakadaro akarondedzerwa (Zvechokwadi kwete yakatodzama sapamazuva aripo chimiro) hwekare nyanzvi yechiGiriki Aristotle.

Anomirira yoga bazi wemasvomhu iyo inodzidza propositional calculus, nemasvomhu nomufungo ane nhamba zvakanaka dzichienderana zvakabudiswa uye mhedziso.

Kuti tinzwisise zviri nani wenyaya, ongorora pfungwa ichabatsira mune ramangwana kuziva mitemo nemasvomhu nomufungo.

Zvichida huru izwi iri kudzidza nechirango - mashoko. mhando iyi mashoko anogona kuva venhema. Iye nguva dzose kuri mumashoko chete imwe maitiro aya. Saka kupa conditionally akagamuchira chokwadi ukoshi 1 falsity - 0, kudanwa mashoko pacharo vamwe tsamba Latin: A, B, C. Nemamwe mashoko, kuti nzira A = 1 kunoreva kuti pfungwa A ichokwadi. Nemashoko angauya nenzira dzakasiyana. A kumboongorora nezviito kuti iwe unogona kuita navo. Ona kuti mitemo nemasvomhu nomufungo Hazvibviri kudzidza vasingazivi mitemo.

1. disjunction kuti mitsara miviri - mugumisiro hwokushanda "kana". Zvinogona kunge vari venhema kana zvechokwadi. Inoshandisa chiratidzo «V».

2. pavanoparidza. Mugumisiro mabasa akadaro akaita nemashoko maviri, ichava itsva mashoko wechokwadi chete kana vaviri mashoko ndezvechokwadi chepakutanga. Shandisa "uye" mashandiro, chiratidzo "*".

3. Chirevo. Operation "kana A, zvino B". Zvinoguma mashoko, venhema chete kana A chokwadi uye nenhema B. zvinoshanda chiratidzo "->".

4. The yokuenzana. Operation «A kana uye kana V kana chete." Mashoko aya ichokwadi kana vose variables zvakafanana kuongororwa. Shandisai chiratidzo "<->".

Panewo dzakatevedzana remapazi, akafanana kunanga, asi munyaya ino, havangavi kunzi.

Zvino ngatikurukurei zvakadzama mitemo rezita nemasvomhu nomufungo:

1. commutative uye commutative rinoti kuchinja tichitarisa Kukurukurwa kushanda pachiimbwa kana disjunction iri mugumisiro maturo.

2. associative kana associative. Maererano nomutemo uyu, ari variables vari kushanda pachiimbwa uye disjunction kunogona dzikarongwa.

3. kugovera kana kuparadzirwa. Musimboti murayiro kuti zvakafanana variables ari equations anogona kutorwa kubva mumabhuraketi, regai kushandura pfungwa.

4. Mutemo of Morgan (inversion kana negation). The negation oparesheni kwakafanana disjunction kuti pachiimbwa negation chiyamuro variables. The negation of disjunction, akavapindurawo, akaenzana tikafunga pamusoro negation zvakafanana variables.

5. Double Negative. Negation mashoko kaviri inoguma yepakutanga okuti, katatu - ake kuramba.

6. idempotency Mutemo sezvinotevera kuti musoro Kuwedzera: xvxvxvx = X; nokuti chokuwanziridza: x ^ X ^ X ^ = x.

7. Mutemo asiri pagakava inoti: Mashoko maviri, kana ivo dzinopesana, panguva imwe chete rechokwadi asingagoni.

8. Mutemo dziripowo pakati. Pakati mbiri dzinopikisana mashoko rimwe - ndowezvokwadi, uye mumwe - venhema, hapana rechitatu.

9. Absorção de Água mutemo unogona kunyorwa nenzira yakadaro kuti inonzwisisika Kuwedzera: XV (x ^ Y) = X, nokuti chokuwanziridza: x ^ (xvy) = x.

10. Mutemo chokuedza. Two pedyo conjunctions vanokwanisa kuramba pamwe, pova pachiimbwa kuti akaderera chinzvimbo. Kana ichi ndicho shanduka iro yepakutanga conjunctions glued nokupera. Muenzaniso inonzwisisika Uyezve:

(X ^ Y) mundima (-x ^ Y) = y.

Takurukura chete mitemo vakawanda pamusoro nemasvomhu nomufungo, izvo chokwadi zvingava zvakawanda, sezvo iri kazhinji akanyatsorongwa equations kuva refu uye dzemaoresa chitarisiko, izvo zvinogona kubviswa nokushandisa anoverengeka mitemo yakafanana.

Kazhinji, nokuti zvivanakire kuverenga uye kuziva migumisiro vachishandisa chaiwo pamatafura. All mitemo huripo pakati nemasvomhu nomufungo, tafura chine mukuru nemamiriro afoot rectangle kupendwa nokuparadzira mumwe shanduka ari oga muchitokisi. Mukuru mukana wokuti vanhu vanga, zvinova nyore kutsungirira nayo, vachishandisa tafura.