Loha Hevitra equivalence, ohatra ny lojika vahaolana ho an'ny olana ny equivalence asa

Ankehitriny dia manolotra ny hiresaka momba ny lojika asany. Ity ny latabatra equivalence, satria izany no tena olana.

Amin'ny Boolean alijebra, tsy mila tsianjery ny fitsipika sy ny fahamarinana latabatra, dia ho ampy tsotra fahatakarana ny asa, izay aseho ho anao.

lojika

Na dia eo aza ny zava-misy fa ny fanontaniana ny equivalence ny latabatra dia laharam-pahamehana, dia hoe ny teny vitsivitsy ny momba ny tena Boolean alijebra. Araka ny voalaza etsy ambony, ny marina latabatra dia tsy ilaina ny mianatra ny fomba ny fampitomboana latabatra. Mba hahatakarana ny votoatin'ny ny fandidiana dia afaka manome ohatra avy amin'ny teny Rosiana. Araka ny mety ho toa hafahafa, fa io no fomba tena nanampy ny olona ho handresy ny sakana izay mamadika ny kajy lojikan'ny olana amin'ny fanatanjahan-tena mahaliana. Ankehitriny ianao dia afaka mahita ny fomba fomba io miasa.

Nahoana aho no mila lojika? Io siansa no tena zava-dehibe, indrindra fa amin'izao androntsika izao. Saika fitaovana nomerika rehetra izay ampiasaintsika isan'andro, mifototra amin'ny asa lojika. Na dia tsy misy fiantraikany amin'ny lafiny ara-teknika, Tandremo ny fomba fiteninao. Rehetra ny soso-kevitra azo antoka ny hankatò ny lalàn 'ny lojika ary koa ny fahasivy manidina avy tany teo baolina mankatò ny lalàn'ny fizika.

asa

Boolean alijebra dia manome fototra maro asa (negation, fampitomboana, koa, ary noho equivalence).

Mariho fa ny toe-javatra sarotra ho an'ny fanehoan-kevitra lojika tsy ahitana teny toy ny hoe "fampitomboana" na "koa" mba hahatsiaro ny famaritana marina. Negation dia antsoina hoe inversion. Fampitomboana in Boolean alijebra dia antsoina hoe ny teny mpampitohy, ary koa - disjunction. Ny lojika vokany - dia ny tian'ny. Equivalences indraindray antsoina hoe interchangeably.

Hamahana lojika olana ianao tokony ho fantatrao fotsiny ny marina latabatry ny asany ireo. Fa ny voalazanay fa tsy afaka ny hianatra sy hahatakatra. Izany dia mampihena ny vola lany be ny fotoana. Isika fomba ity ny try ny equivalence latabatra. Aoka isika hanomboka amin'izao fotoana izao.

equivalence

Ny lojika ny asa, izay marina ihany raha samy Narahi-teny dia mitovy, ary dia equivalence. Asa latabatra izay ho aseho eto ambany, dia roa-toerana lojika fandidiana. -Tsipiriany, dia midika na zana-tsipìka misy rindrina roa, na telo marindrano endri-javatra. Ny famantarana dia tsy maintsy mizara roa teny tsotra.

Raha mandinika ny laharam-pahamehana ny asa, izany lojika hetsika no fahenina toerana, ao ambadiky ny olon-kafa rehetra. Ity ambany ity ny latabatra ny equivalence.

Mariho fa ny fahamarinana dia afaka ho feno latabatra amin'ny fomba maro. Ny tena hoe azo soratana toy ny: "+", "1" na "I". Diso - "-", "0" na "L".

Araka ny nampanantenainy, dia mandika izany asa lojika amin'ny teny Rosiana. Fanehoan-kevitra marina dia ho ao amin'ny toe-javatra manaraka ireto:

• teny tsotra voalohany - dia iray ihany izany tahaka ny an'ny faharoa maneho hevitra (fanehoan-kevitra - ny andian-teny);
• Tsy mitovy amin'ny voalohany fanehoana faharoa (mitovy amin'ny fananganana ny ny fianarako any Grande-Bretagne);
• teny amin'ny laharana voalohany dia azo atao raha toa ka raha misy toerana iray faharoa (hataoko ho any amin'ny anjerimanontolo raha toa ka raha, rehefa nahazo diplaoma avy amin'ny sekoly ambaratonga faharoa).

ohatra

ANDRAMO mampiasa ny fahamarinana latabatry ny equivalence amin'ny fomba fanao. Ilaina mba hanaporofoana fa ireo teny roa hoe aseho eto ambany no mitovy:

• 1 fitenenana mitovy amin'ny teny hoe 2;
• (He2 + 1) * (HE1 + 2).

Mba hanaovana izany dia manaova ny marina latabatra ho an'ireo fanambarana. Fa ny voalohany, dia tsy hanao tahaka ny ananantsika ao amin'ny fehintsoratra teo aloha.

Azafady aza hadino fa ny vokatra farany ao amin'ny tsanganana farany dia mitovy, noho izany, ny teny dia mitovy.