Funtzioa, lege eta adibideak: nola espresio logikoak errazteko

Gaur elkarrekin ikasteko espresio logikoak errazteko egingo dugu, oinarrizko legeak ezagutu dugu eta egia logika funtzioak taula aztertu.

To, gai hau zergatik hasiko da. Konturatuko al duzu inoiz nola hitz egin? Kontuan izan gure hizkera eta ekintzak direla beti logikaren legeen menpe. Ordena Edonola emaitza ezagutu eta ez harrapatuta, logika legeak sinple eta argia ikasteko. ez bakarrik informatikako nota ona lortu edo pilotak gehiago lortzeko, estatu bateratu azterketa ere, baina benetako egoeretan jarduteko ez dira ausazko izango dira.

eragiketak

logika esamoldeak nola sinplifikatzen ikasteko, jakin behar duzu:

• Zer ezaugarriek boolearrak algebra du;
• Murrizketa eta bihurtze lege adierazpenak;
• eragiketak ordena.

Orain begiratu gai horiek zehaztasun handiz begiratzen dugu. Dezagun eragiketak batera. Nahiko erraza gogoratzeko dira.

1. logikoa biderketa ohartu gara lehenengo gauza, literatura atalean batera operazioa deritzo. baldintza da adierazpen forma idatzita badago, eragiketa alderantzizko tick bat, kontu-, edo "&" adierazten dira.
2. Hurrengo gehien erabiltzen funtzioak - Horrez logikoa edo disjuntzioa. Bere marka tick edo plus zeinua.
3. Ezaugarri oso garrantzitsua ukazioa edo inbertsioa da. Gogoratu nola errusiar hizkuntza isolatua prefix duzu. Grafikoki, inbertsioa da adierazpenaren aurretik aurrizki bat, edo gainetik line horizontala adierazten dira.
4. Logikoa ondorioa (edo inplikazioa) ikerketa balioa gezi bat adierazten dira. funtzionamendua hartzen badugu errusiar hizkuntza ikuspegitik batetik, dagokion esaldiaren egitura mota: "bada ... orduan ...".
5. Hurrengo baliokidetza, hau da, bi norabideko gezi bidez adierazten da. Errusieraz, funtzionamendua honako hau da: "bada bakarrik".
6. Sheffer trazu bien barra bertikala adierazpen bereizten.
7. Pierce-Arrow, era Sheffer trazua, akzio adierazpen gezi bertikalak beherantz seinalatuz.

ukapena, biderketak, gainera, ondorioz, baliokidetza: Noski eragiketa hori sekuentzia zorrotzean interpretatu behar direla. eragiketak "Sheffer trazua" eta "logikoa ezta" For ez dago lehentasun araua da. Beraz, ordena horretan, stand adierazpen konplexua dute egikaritu behar dute.

egia taula

Sinplifikatu adierazpen boolearrak eta egia taula eraikitzeko bere erabakia gehiago ezinezkoa da oinarrizko eragiketak taulak ezagutza gabe. Orain haiekin bilduko eskaintzen dugu. Kontuan hartu balioek bai balio egia edo gezurra bat har dezake.

mahaiaren batera egiteko honako hau da:

Table disjuntzioa eragiketa:

ukapena:

ondorioa:

baliokidetza:

Barcode Schiffer:

Pierce Arrow:

legeak sinplifikazioa

logika informatikako esamoldeak nola errazteko galdera On, erantzunak logikaren legeen sinple eta argia aurkitzeko lagunduko digu.

Dezagun kontraesanaren legea errazena batera. kontrako kontzeptuak (A eta NEA) biderkatu badugu, gezur bat lortuko dugu. kontrako kontzeptu Horrez kasuan, egia lortuko dugu, legea deritzo "baztertutako erditik legean." Askotan ere algebra boolearra daude ukazio bikoitza (ez NEA) ekin esamoldeak, ondoren, erantzuna A. bat lortuko dugu ere daude de Morgan legearen bi:

• Horrez logikoa ukapen badugu, bi adierazpen ugaltzea lortu dugu inbertsioa bat (ez (A + B) = * Nea Neuve) batekin;
• antzeko egintzak, eta bigarren legeak, biderketak ukatzea jaten dugu, bi balio gehitzeko inbertsioa batera lortuko dugu.

Oso maiz bikoizketa, balio bera (A edo B) osatzen edo biderkatu elkarrekin. Kasu honetan, errepikapen legea (= * A A + B edo A = B). Badira lege eta erosketak:

• A + (* B A) = A;
• * A (A + B) = A;
• * A (HEA + B) = * B. A

Badira bi lotura-legeak:

• (* B A) + (* B A) = A;
• (A + B) * (A + B) = A.

Sinplifikatu espresio logikoak erraza da algebra boolearra legeak ezagutzen baduzu. Legearen artikulu atal honetan azaltzen diren Dena enpirikoki probatu ahal izango dira. Horretarako parentesi ireki dugu matematika legeen arabera.

1. adibidea

espresio logikoak sinplifikatu ezaugarri guztiak aztertu ditugu, orain da beharrezkoa beren ezagutza berriak praktikara sendotzeko. out egiten duzun elkarrekin hiru eskola-programa eta egoera bateratu azterketa-sarrerak adibide proposatzen dugu.

(P * E) + (C * da): lehenengo adibidean, adierazpen errazteko behar dugu. Lehenik eta behin, gure arreta piztu dugu, hain zuzen ere, bai lehen eta bigarren parentesi eskaintza aldagai bera izan dadin parentesi atera da. C * (E + da): adierazpen manipulatzeko emateko dugun egin ostean. Lehenago begiratu baztertutako erditik legean dugu, aplikatu adierazpena aldean. Jarraituz, esan dezakegu E dugun + = 1 dela, beraz, gure adierazpen itxura hartzen du: C * 1. Lortutako adierazpena, dugu oraindik ere hori C 1 = C * jakitea sinplifikatu.

2. adibidea

Gure hurrengo zeregina izango da: zer da oraindik adierazpen boolearrak sinplifikatu bat da ez (C + da) ez + (C + E) + C * E?

Kontutan izan adibide honetan espresio konplexuak ukazioa da, hau kentzeko behar, De Morgan legeak gidatuta. aplikatuz, honako adierazpena lortuko dugu: * E + Nes Nes * + da C * E. Berriro ere aldagai baten errepikapena lekuko ditugu bi dagokionez, izan dadin parentesi kanpo: HEC * (E + bere) + C * E. Berriz ere, aplikatu Bazterketa Act: HEC * 1 + C * E. Gogoratzen dugu esaldia "Nes * 1" berdinen Nes: Nes + C * E. Ere eskaintzen dugu banaketako legeak erabili: (HEC + C) * (HEC + E). HEC + E.: baztertutako erditik legean aplikatzen dugu

3. adibidea

Ikusi duzu dela benetan oso erraza adierazpen boolearrak errazteko. Adibidea №3 Xehetasun gutxiagorekin margotu egingo da, saiatu zeuk egin.

Sinplifikatu adierazpena: (D + E) * (D + F).

1. D * D + D * F + E * D + E * F:
2. D + D * F + E * D + E * F:
3. D * (1 + F) + E * D + E * F:
4. D + E * D + E * F:
5. D * (1 + E) + E * F:
6. D + E * F.

Ikusten duzun bezala, adierazpen logikoa konplexua sinplifikatu legeak ezagutzen baduzu, ondoren, lan hau ez da inoiz eragin Arazorik.