Samaväärsuse tabel, näiteks samaväärsuse toiminguga seotud loogilise probleemi lahendamine

Täna soovitame rääkida loogilistest funktsioonidest. Anname samaväärsuse tabeli, sest see on meie peamine küsimus.

Boolean-algebras ei pea te üldiselt reegleid ja tõestamistabeleid meelde jätma, piisab ainult lihtsa arusaamise funktsioonist, mis teile esitatakse.

Loogika

Hoolimata asjaolust, et samaväärsuse tabeli küsimus on prioriteet, ütleme paar sõna Boolean algebra enda kohta. Nagu juba mainitud, ei tohiks tõestamistabeleid lugeda paljunemistabelina. Operatsiooni olemuse mõistmiseks võite näidata vene keelt. Kuid kummaline see võib tunduda, see meetod aitab tõesti paljudel tõkke ületamiseks, muutes loogiliste ülesannete arvutamise huvitavaks tegevuseks. Täna näete, kuidas see meetod töötab.

Miks me vajame loogikat? See teadus on väga oluline, eriti meie aja jooksul. Peaaegu kõik digitaalsed seadmed, mida me kasutame igapäevaselt, põhinevad loogilistel toimingutetel. Isegi kui te ei puuduta tehnilist külge, pöörake tähelepanu sellele, kuidas te räägite. Kõik teie ettepanekud peavad järgima loogika seadusi, samuti lendavad üheksandal korrusel palli vastavalt füüsika seadustele.

Funktsioonid

Boolean algebra sisaldab mitmeid põhifunktsioone (eitamine, korrutamine, lisamine, tagajärg ja samaväärsus).

Pange tähele, et kompleksse loogilise avaldise tingimus ei sisalda selliseid termineid nagu "korrutamine" või "lisamine", on vaja õigeid määratlusi meeles pidada. Negatiivi nimetatakse inversiooniks. Boolean-algebras korrutamine nimetatakse konjunktiks ja lisamine on disjunktsioon. Loogiline tagajärg on implikatsioon. Võrdväärsust nimetatakse mõnikord samaväärsuseks.

Loogiliste probleemide lahendamiseks peate lihtsalt tundma nende funktsioonide tõestatavaid tabeleid. Kuid me oleme juba öelnud, et te ei saa seda õppida, kuid MÕISTKE. See vähendab oluliselt teie ajaga seotud kulusid. Me katseme seda meetodit samaväärsuse tabelis. Alustame kohe.

Samaväärsus

Loogiline funktsioon, mis on tõene ainult siis, kui mõlemad sisendi väljundid on samaväärsed, on see samaväärsus. Funktsioon, mille tabel on allpool loetletud, on kahekohaline loogiline toiming. Graafiliselt tähistab seda kas kahepoolne nool või kolm horisontaalset joont. Täht peab eraldama kaks lihtsat väljendit.

Kui me arvestame funktsioonide prioriteediga, siis loogiline operatsioon võtab kuuendaks kohaks, andes tulemuseks kõik teised. Allpool on vastavustabel.

Pange tähele, et tõetabelit saab asustada mitmel viisil. Tõene väljend võib kirjutada järgmiselt: "+", "1" või "AND". Vale - "-", "0" või "L".

Nagu me lubasime, tõlgendame seda loogilist toimingut vene keeles. Väljend kehtib järgmistel juhtudel:

• Esimene lihtne väljend on sama mis teine ekspress (väljend on fraas);
• Esimene väljend on samaväärne teisega (minu haridus on samaväärne Suurbritannia haridusega);
• Esimene number on võimalik ainult ja ainult siis, kui teine koht on olemas (sisenen ülikoolisse siis ja ainult siis, kui ma koolist lõpetan).

Näide:

Nüüd proovime kasutada samaväärsuse tõetabelit praktikas. On vaja tõestada, et allpool esitatud mõisted on samaväärsed:

• Väljend 1 on võrdne 2;
• (1 + mitte 2) * (mitte1 + 2).

Selleks koostame nende avalduste tõestamise tabelid. Esiteks ei tee me seda, sest meil on see eelmises lõigus.

Pange tähele, et viimase veeru viimased tulemused on identsed, seega on väljendeid samaväärsed.