Tabella ta 'ekwivalenza, eżempju ta' soluzzjoni ta 'problema loġika b'operazzjoni ta' ekwivalenza

Illum nipproponu li nitkellmu dwar il-funzjonijiet loġiċi. Nagħtu tabella ta 'ekwivalenza, peress li din hija l-mistoqsija ewlenija tagħna.

Fl-alġebra Booleana, m'għandekx bżonn li timmemorizza regoli u tabelli verità fil-livelli kollha, sempliċi fehim tal-essenza tal-funzjoni li tiġi ppreżentata lilek tkun biżżejjed.

Loġika

Minkejja l-fatt li l-kwistjoni tat-tabella ta 'ekwivalenza hija prijorità, aħna ngħidu ftit kliem dwar l-alġebra Boolean innifsu. Kif diġà semmejt, it-tabelli tal-verità m'għandhomx jitgħallmu bħala tabella ta 'multiplikazzjoni. Biex tifhem l-essenza ta 'l-operazzjoni, tista' tagħti eżempju mill-lingwa Russa. Madankollu huwa strambi li jista 'jidher, dan il-metodu verament jgħin ħafna biex tegħleb l-ostaklu, billi ddawwar il-komputazzjoni tal-kompiti loġiċi f'attività interessanti. Illum tista 'tara kif jaħdem dan il-metodu.

Għaliex għandna bżonn loġika? Din ix-xjenza hija importanti ħafna, speċjalment fil-ħin tagħna. Kważi l-apparati diġitali kollha li nużaw fuq bażi ta 'kuljum huma bbażati fuq operazzjonijiet loġiċi. Anki jekk ma tmissx in-naħa teknika, tagħti attenzjoni għal kif titkellem. Il-proposti kollha tiegħek għandhom jobdu l-liġijiet tal-loġika kif ukoll jivvjaġġaw mid-disa 'art sal-ballun iħarsu l-liġijiet tal-fiżika.

Funzjonijiet

L-alġebra Boolean fiha diversi funzjonijiet bażiċi (negazzjoni, multiplikazzjoni, żieda, konsegwenza u ekwivalenza).

Innota li l-kondizzjoni għal espressjoni loġika kumplessa ma fihx termini bħal "multiplikazzjoni" jew "żieda", huwa meħtieġ li tiftakar id-definizzjonijiet korretti tagħhom. In-negazzjoni hija msejħa inverżjoni. Il-multiplikazzjoni f'alġebra Boolean tissejjaħ konġunt, u ż-żieda hija disjunzjoni. Il-konsegwenza loġika hija implikazzjoni. L-ekwivalenza kultant tissejjaħ ekwivalenza.

Biex issolvi l -problemi loġiċi, sempliċement għandek tkun taf it-tabelli tal-verità ta 'dawn il-funzjonijiet. Imma diġà għidna li ma tistax titgħallem, imma NIFTUGĦU. Dan inaqqas ħafna l-ispejjeż tal-ħin tiegħek. Se nittestjaw dan il-metodu fuq il-mejda ta 'ekwivalenza. Nibdew id-dritt issa.

Ekwivalenza

Funzjoni loġika li hija vera biss jekk iż-żewġ espressjonijiet ta 'input huma ekwivalenti, din hija l-ekwivalenza. Il-funzjoni li t-tabella tagħha se tiġi elenkata hawn taħt hija operazzjoni loġika f'żewġ postijiet. Grafika, huwa indikat jew bi vleġġa fuq żewġ naħat jew bi tliet linji orizzontali. Is-sinjal għandu jissepara żewġ espressjonijiet sempliċi.

Jekk inqisu l-prijorità tal-funzjonijiet, allura din l -operazzjoni loġika tieħu s-sitt post, li tagħti lill-oħrajn kollha. Hawn taħt hija t-tabella ta 'ekwivalenza.

Innota li t-tabella tal-verità tista 'tiġi ppopolata f'diversi modi. L-espressjoni vera tista 'tinkiteb bħala: "+", "1" jew "U". Foloz - "-", "0" jew "L".

Kif wiegħdna, aħna ninterpretaw din l-operazzjoni loġika fir-Russu. L-espressjoni tkun vera fil-każijiet li ġejjin:

• L-ewwel espressjoni sempliċi hija l-istess bħat-tieni espressjoni (l-espressjoni hija frażi);
• L-ewwel espressjoni hija ekwivalenti għat-tieni (l-edukazzjoni tiegħi hija ekwivalenti għall-edukazzjoni fil-Gran Brittanja);
• Espressjoni fin-numru wieħed hija possibbli jekk u biss jekk hemm post għat-tieni (jiena ser tidħol fl-università jekk u biss jekk jigradwa mill-iskola).

Eżempju:

Issa nippruvaw nużaw it-tabella tal-verità tal-ekwivalenza fil-prattika. Huwa meħtieġ li jintwera li ż-żewġ espressjonijiet ta 'hawn taħt huma ekwivalenti:

• L-espressjoni 1 hija ekwivalenti għal 2;
• (1 + mhux 2) * (mhux 1 + 2).

Biex tagħmel dan, se nkabbru tabelli tal-verità għal dawn id-dikjarazzjonijiet. Għall-ewwel, mhux se nagħmlu, peress li għandna fil-paragrafu preċedenti.

Innota li l-aħħar riżultati fl-aħħar kolonna huma identiċi, għalhekk, l-espressjonijiet huma ekwivalenti.