Xjenza tal-kompjuter:-tabella verità. Kostruzzjoni tabelli verità

Illum nitkellmu dwar is-suġġett imsejħa xjenza. It-tabella verità, il-varjetà ta 'funzjonijiet, l-ordni ta' eżekuzzjoni - dawn huma mistoqsijiet bażiċi tagħna li aħna se tipprova ssib tweġibiet fil-artikolu.

Normalment il-kors huwa mgħallem fl-iskola għolja, iżda ħafna studenti huwa l-interpretazzjoni żbaljata kawża ta 'xi karatteristiċi. U jekk int ser jiddedikaw ħajja tiegħi, hija biss ma tistax tagħmel mingħajr tqegħid eżami stat wieħed fix-xjenza tal-kompjuter. It-tabella verità, konverżjoni espressjonijiet kumplessi, il-problemi deċiżjoni loġika - hija tista 'tonora l-biljett. Aħna issa jqisu f'aktar dettall dan is-suġġett u jgħinek sabiex tikseb aktar blalen fuq l-eżami.

-loġika tas-suġġett

Liema tip ta 'suġġett - kompjuter xjenza? It-tabella verità - kif tibni dan? Għaliex xjenza hija l-loġika? Biex dawn il-kwistjonijiet, aħna se tweġiba miegħek issa.

Teknoloġija informatika - huwa pjuttost suġġett affaxxinanti. Ma jista 'jkun diffiċli fis-soċjetà moderna, għaliex dak kollu li jdawru magħna, b'xi mod jew ieħor, relatat mal-kompjuter.

Elementi fundamentali tal-loġika ta 'xjenza huma għalliema fl-iskejjel sekondarji fis-lezzjonijiet tax-xjenza. tabelli verità, il-funzjonijiet, espressjonijiet tissimplifika - dan kollu għandu jispjega l-għalliem tax-xjenza tal-kompjuter. Din ix-xjenza huwa assolutament neċessarju fil-ħajja tagħna. Tħares mill-qrib, kollox huwa suġġett għal kull liġi. Inti mħawla-ballun, hija tellgħu up, iżda mbagħad waqa 'lura għal art, dan kien minħabba l-liġijiet tal-fiżika u l-forzi tal-gravità. Mom koki l-soppa u żid melħ. Għaliex meta nieklu, aħna ma jiltaqgħu-ħbub? Pjuttost sempliċi, il-melħ maħlul fl-ilma, soġġett għal-liġijiet tal-kimika.

Issa tagħti attenzjoni lill-mod kif tkellem.

• "Jekk jien ser tieħu qattus tiegħek fi klinika veterinarja, huwa li jiġu mlaqqma."
• "Illum kien jum diffiċli ħafna, għaliex inti għandek tiċċekkja."
• "Ma rridx li jmorru l-università, għax illum se jkun kollokju", u l-bqija.

Xi ħaġa li jgħidu, kun żgur li jobdu l-liġijiet tal-loġika. Dan japplika kemm għall-negozju u għall-konverżazzjoni faċli. Huwa għal din ir-raġuni huwa meħtieġ li jifhmu l-liġijiet tal-loġika, li ma jaġixxux bl-addoċċ, u jkunu fiduċjużi fir-riżultat ta 'avvenimenti.

funzjonijiet

Sabiex jagħmlu l-tabella verità għall-kompitu propost li għandek bżonn tkun taf l-funzjonijiet loġika. X'inhu dan? funzjoni loġika għandha xi varjabbli, li huma dikjarazzjonijiet (veru jew falz), u l-valur tal-funzjoni innifsu għandu tagħtina l-risposta għad-domanda: ". L-espressjoni hija vera jew falza"

espressjonijiet kollha jkollhom il-valuri li ġejjin:

• Veru jew falz.
• T jew F.
• 1 jew 0.
• B'żieda jew tnaqqis.

Hawnhekk, jagħtu preferenza għal metodu li hija aktar konvenjenti għalik. Sabiex tagħmel tabella verità, għandna bżonn li jiġu elenkati l-kombinazzjonijiet ta 'varjabbli. In-numru tagħhom huwa kkalkulat bil-formula: 2 għall-qawwa n. Ir-riżultat ta 'kalkolu - in-numru ta' kombinazzjonijiet possibbli ta 'l-varjabbli n fil-formula tindika n-numru ta' varjabbli fl-kundizzjoni. Jekk l-espressjoni għandha ħafna ta 'varjabbli, tista' tuża l-kalkulatur għalik innifsek jew jagħmlu tabella żgħira bil-bini ta 'żewġ għall-qawwa.

Funzjonijiet kollha loġika seba jew bonds li jgħaqqdu l-espressjoni:

• Multiplikazzjoni (flimkien).
• Barra minn hekk (disjunction).
• Korollarju (implikazzjoni).
• Ekwivalenza.
• Inverżjoni.
• puplesija Sheffer.
• Ittaqqab Arrow.

L-ewwel operazzjoni, irrappreżentata fil-lista, huwa msejjaħ "multiplikazzjoni loġiku." Jista 'jiġi nnutat grafikament fil-forma ta' qurdien maqlubin, sinjali u jew *. It-tieni pass fil-lista tagħna - minn hekk loġiku, grafikament murija bħala immarka +. L-implikazzjoni hija konsegwenza loġika, indikata bi vleġġa li tipponta mill-kundizzjonijiet dwar l-investigazzjoni. Ekwivalenza hija murija bil-żewġ naħat vleġġa, il-funzjoni għandha valur veru biss f'każijiet ta 'kodiċi ż-żewġ valuri jieħdu valur ta' "1" jew "0". Inverżjoni huwa negazzjoni loġiku. Sheffer puplesija funzjoni hija magħrufa, li ċċaħħad-konġunzjoni u loġiku u lanqas - funzjoni, jixxejnu l disjunction.

funzjonijiet bażiċi binarja

tabella verità Logical jgħin biex issib tweġiba għall-problema, iżda inti għandek bżonn li wieħed jiftakar l-tabella tal-funzjonijiet binarja. F'din it-taqsima, dawn se jkunu pprovduti.

Flimkien (moltiplikazzjoni). Jekk żewġ espressjonijiet huma veri, ir-riżultat irridu jiksbu l-verità, fil-każijiet l-oħra nikbru jimteddu.

Jidher qisu mejda, tafu, allura m'hemmx bżonn li twasslu biex formuli kollha. Fil-istampa hawn fuq tista 'tara f'xi każijiet, ir-riżultat huwa egwali għal wieħed.

Riżultat - jinsabu fil-żieda loġiku ninsabu biss fil-każ f'żewġ inputs foloz.

Il-konsegwenza loġika ta 'riżultat falz biss meta l-kundizzjoni hija vera, bħala konsegwenza - gidba. Inti tista 'tagħti eżempju mill-ħajja: "Jien ridt li jixtru z-zokkor, iżda l-ħanut kien magħluq," għalhekk, iz-zokkor u mhux mixtrija.

Ekwivalenza huwa veru biss fil-każ ta 'valuri input identiċi. Dan huwa, meta pari ta ' "0, 0" jew "1, 1".

Fil-każ ta 'inverżjoni kollha elementari, jekk l-input huwa espressjoni vera, huwa konvertit għal falza, u viċi versa. Fl-istampa tista 'tara kif huwa indikat grafikament.

produzzjoni bar Schiffer se jkollhom riżultat falz biss jekk ikun hemm żewġ espressjonijiet reali.

Fil-każ tal-funzjoni loġika u lanqas se jkun veru biss fil-każ jekk l-input għandna biss espressjonijiet foloz.

F'liema Sabiex iwettqu operazzjonijiet loġiċi

Innota li l-kostruzzjoni ta 'tabelli verità u s-simplifikazzjoni ta' espressjonijiet huwa possibbli biss meta l-ordni korretta ta 'operazzjonijiet. Ftakar-sekwenza li bih għandhom jiġu mwettqa, huwa importanti ħafna li tikseb ir-riżultat korrett.

• negazzjoni loġika;
• multiplikazzjoni;
• Barra minn hekk;
• investigazzjonijiet;
• ekwivalenza;
• ċaħda ta 'multiplikazzjoni (Sheffer puplesija);
• ċaħda ta 'żieda (vleġġa Pierce).

eżempju №1

Aħna issa tipproponi li tikkunsidra l-eżempju tal-kostruzzjoni tabella verità għall-varjabbli 4. Inti għandek bżonn tkun taf f'liema każijiet F = 0 fl-ekwazzjoni: Nea + B + C * D

It-tweġiba għal dan il-kompitu se jkun it-trasferiment mill-kombinazzjonijiet li ġejjin: "1, 0, 0, 0", "1, 0, 0, 1" u "1, 0, 1, 0". Kif tistgħu taraw, tagħmel il-mejda pjuttost sempliċement l-verità. Għal darb'oħra nixtieq niġbidlek l-attenzjoni għall-ordni tal-azzjonijiet. Fil-każ speċifiku, kien kif ġej:

1. Il-inverżjoni ta 'l-ewwel espressjoni sempliċi.
2. L-għaqda tat-tielet u r-raba 'espressjonijiet.
3. Disjunction tieni espressjoni bir-riżultati tal-kalkoli preċedenti.

eżempju №2

Issa nħarsu lejn xogħol ieħor li jeħtieġ il-bini ta 'tabella verità. Informatika (eżempji ttieħdu mill-korsa iskola) jista 'jkollhom problemi loġiku bħala referenza. Ħarsa fil-qosor lejn wieħed minnhom. Do Vanya ħatja li serqet il-ballun, jekk taf dan li ġej:

• Jekk Vanya ma steal jew serqet Pietru, imbagħad Sergei pparteċipaw fil-serq.
• Jekk Ivan mhux ħati, u Sergei ma jisirqu l-ballun.

Aħna nintroduċu l-notazzjoni: I - Ivan seraq il-ballun; P - Peter seraq; C - Sergei seraq.

Taħt din il-kundizzjoni, nistgħu nagħmlu l-ekwazzjoni: F = ((Nei + R) Implikazzjoni Ċ) * (implikazzjoni Nei HEC). Għandna bżonn dawn l-għażliet, fejn il-funzjoni jieħu l-valur veru. Sussegwentement, joħolqu tabella, minħabba din il-funzjoni huwa kemm 7 azzjoni, se titħalla barra. Aħna se jsir biss mill-input tad-data u r-riżultati.

Innota li fil din il-problema li għandna, minflok "0" simboli u "1" li jużaw il-plus u minus. Huwa aċċettabbli wkoll. Aħna huma interessati fil-kombinazzjoni, fejn F = +. Wara analiżi tagħhom, nistgħu jiġbed l-konklużjoni li ġejja: Vanya pparteċipaw fil-serq ta 'l-logħob hekk kif fil-każijiet kollha fejn F jieħu l-valur +, u għandu valur pożittiv.

eżempju №3

Issa aħna noffrulek biex issib in-numru ta 'kombinazzjonijiet meta F = 1. L-ekwazzjoni hija kif ġej: F = Nea + B * A + Neuve. Tabella tal-verità:

A: 4 kombinazzjoni.