Ynformatika wittenskip: de wierheid tafel. Oanlizzen wierheid Tables

Hjoed prate wy oer it ûnderwerp neamd wittenskip. De wierheid tafel, ferskaat oan funksjes, de folchoarder fan útfiering - dat binne eins ús basis fragen dêr't wy sille besykje te finen antwurden yn it artikel.

Meastal de kursus wurdt leard yn hege skoalle, mar in protte studinten is de oarsaak ferkeard begripen fan guon funksjes. En as jo geane te wijen myn libben, dat krekt kin net dwaan sûnder nei't syn ien steat eksamen yn kompjûter wittenskip. De wierheid tafel, it omsette fan komplekse útdrukkings, it beslút logika problemen - it kin foldwaan oan al de kaartsjes. We no beskôgje yn mear detail dit ûnderwerp en helpe jo krije mear ballen op it eksamen.

de logika fan it ûnderwerp

Hokker soarte fan ûnderwerp - kompjûter wittenskip? De wierheid tafel - hoe te bouwen it? Wêrom wittenskip is de logika? Om al dizze fragen, wy sille beäntwurdzje mei jimme no.

Ynformaasje technology - it is nochal in fassinearjende ûnderwerp. It kin net dreech yn de moderne maatskippij, want alles wat om ús hinne, de iene of oare manier, yn ferbân mei de kompjûter.

Fundamentals of logika fan wittenskip binne hafû leararen yn 'e wittenskip lessen. Wierheid tabellen, funksjes, ferienfâldiging fan uteringen - alles dat moatte ferklearje de learaar fan kompjûter wittenskip. Dy wittenskip is perfoarst nedich yn ús libben. Sjoch nau, alles is ûnderwerp foar alle wet. Jo plante de bal, dat fleach omheech, mar doe foel werom nei de ierde, it wie fanwege de wetten fan de natuerkunde en de krêften fan 'e swiertekrêft. Mom Cooks it sop en heakje sâlt. Wêrom as wy ite, wy net komme oer de granen? Heel simpel, it sâlt oplost yn wetter, ûnder foarbehâld fan de wetten fan de skiekunde.

No betelje omtinken oan 'e wei dy't jo prate.

• "As ik te nimme jo kat nei in dierenkliniek, hy is te wurde yninte."
• "Hjoed wie in hiel lestich deis, want jo moatte kontrolearje."
• "Ik wol net te gean nei de universiteit, want hjoed sil in colloquium", ensafuorthinne.

Anything jim sizze, wês wis te sizzen jaan 'e wetten fan logika. Dat jildt sawol foar it bedriuwslibben en foar it freonlik petear. It is foar dizze reden is it nedich om te begripen de wetten fan logika, net op te treden by willekeurich, en wês wis yn de útkomst fan eveneminten.

funksjes

Om te meitsjen de wierheid tafel foar de foarstelde taak dy't jo witte moatte de logika funksjes. Wat is it? Logyske funksje hat inkele fariabelen, dat binne útspraken (Wier of net wier), en de wearde fan 'e funksje sels moatte jou ús it antwurd op de fraach: "De útdrukking is wier of net wier."

Alle uterings hawwe de folgjende wearden:

• Wier of net wier.
• T or F.
• 1 of 0.
• Plus of minus.

Hjir, jou foarkar oan in metoade dat is mear handiger foar dy. Om te meitsje in wierheid tafel, wy moatte list alle kombinaasjes fan fariabelen. Har oantal wurdt berekkene troch de formule: 2 oan 'e macht n. It resultaat fan berekkening - it oantal mooglike kombinaasjes fan de fariabele n yn 'e formule denotes it oantal fariabelen yn' e steat. As de útdrukking hat in soad fariabelen, kinne jo gebrûk meitsje fan de rekkenmasine foar josels of meitsje in lytse tafel mei de erection fan twa oan 'e macht.

Alle logika funksjes binne sân of obligaasjes keppeljen fan de útdrukking:

• Fermannichfâldigjen (bynwurd).
• Wierren (disjunction).
• Corollary (oanbefelingen).
• Lykweardigens.
• Omkearing.
• MEINS stroke.
• Pierce Arrow.

De earste operaasje, fertsjintwurdige yn de list, hjit "logyske multiplication." It kin opmurken wurde graphically yn de foarm fan in omkeard tick, buorden & of *. De twadde stap yn ús list - logyske Dêrneist graphically werjûn as in tick +. De oanbefelingen is in logyske konsekwinsje, oanjûn troch in pylk pointing út de betingsten op it ûndersyk. Lykweardigens wurdt oantsjutten mei twa-way pylk, de funksje hat in wiere wearde allinnich yn gefallen fan koade beide wearden nimme in wearde fan "1" of "0". Omkearing is in logyske ûntkenning. MEINS stroke funksje wurdt neamd, dy't ûntkent de konjunksje en logysk noch - funksje, negating de disjunction.

Basic binêre funksjes

Logyske wierheid tafel helpt te finen in antwurd op it probleem, mar jo moatte bitinke de tafel fan binêre funksjes. Yn dizze paragraaf, hja sille wurde foarsjoen.

Bynwurd (flere). As twa uterings binne wier, it resultaat wy krije de wierheid, yn alle oare gefallen krije wy in leagen.

It liket op in tafel, jo witte, dan is der net nedich om dat to bringen nei alle formules. Yn de foto hjirboppe kinne jo sjen yn guon gefallen, it resultaat is lyk oan ien.

Resultaat - lizze oan de logyske oanfolling wy binne allinnich yn it gefal twa falske yngongen.

De logyske konsekwinsje fan in falske resultaat allinne as de betingst is wier, as in konsekwinsje - in leagen. Jo kinne jou in foarbyld fan it libben: "Ik woe om te kopen suiker, mar de winkel is sletten, 'dus, de sûker en net kocht.

Lykweardigens jildt allinnich yn it gefal fan identike ynbring wearden. Dat is, doe't pearen fan "0, 0" of "1, 1".

Yn it gefal fan 'e omkearing alle legere, as de ynfier is in wiere ekspresje, it is omsetten ta falske, en oarsom. Yn 'e foto kinne jo sjen hoe't it stiet oanjûn graphically.

Elleard bar útfier sil hawwe in falske resultaat allinnich as der twa echte uteringen.

Yn it gefal fan logysk noch funksje sil wier wêze allinnich yn it gefal as de ynput wy hawwe allinne falske uteringen.

Yn hokker folchoarder útfiere logyske operaasjes

Tink derom dat de oanlis fan 'e wierheid tafels en ferienfâldiging fan uteringen is mooglik allinne as de goeie folchoarder fan operaasjes. Tink om 'e folchoarder wêryn se moatte útfierd wurde, is it tige wichtich om de goede resultaat.

• logyske ûntkenning;
• flere;
• addition;
• ûndersiken;
• lykweardigens;
• ûntkenning fan flere (MEINS stroke);
• ûntkenning fan addition (arrow Pierce).

foarbyld №1

We no stelle út om beskôgje it foarbyld fan it oanlizzen fan in wierheid tafel foar de 4 fariabelen. Jo moatte witte yn hokker gefallen F = 0 yn de fergeliking: Nea + B + C * D

It antwurd op dizze taak sil wêze de oerdracht fan 'e neikommende kombinaasjes: "1, 0, 0, 0", "1, 0, 0, 1" en "1, 0, 1, 0". Sa't jo sjen kinne, meitsje de tafel hiel gewoan de wierheid. Ienkear wer ik soe graach tekenje jo omtinken foar de folchoarder fan 'e aksjes. Yn it spesifike gefal, it wie as folget:

1. De omkearing fan 'e earste ienfâldige útdrukking.
2. De gearhing fan de tredde en fjirde uterings.
3. Disjunction twadde útdrukking mei de resultaten fan de eardere berekkenings.

foarbyld №2

No sjogge wy nei in oar wurk dat fereasket de oanlis fan in wierheid tafel. Computing (foarbylden waarden nommen út skoalle fansels) meie hawwe logyske problemen as referinsje. In koarte blik op ien fan harren. Do Wanja skuldich fan stellerij de bal, as jo kenne it folgjende:

• As Wanja net stellen of stealing Petrus, doe Sergei mei oan 'e stellerij.
• As Ivan is net skuldich, en Sergei net stelle de bal.

Wy yntrodusearje de notaasje: I - Ivan stiel de bal; P - Petrus stiel; C - Sergei stiel.

Under dizze tastân, kinne wy meitsje de fergeliking: F = ((Nei + R) oanbefelingen C) * (Nei oanbefelingen HEC). Wy moatte dy opsjes, dêr't de funksje nimt de wiere wearde. Folgjende, meitsje in tafel, omdat dizze funksje is safolle as 7 aksje, dan sil wurde weilitten. Wy sille makke wurde allinne troch de ynfier gegevens en resultaten.

Taljochting: yn dizze taak hawwe wy plus en minus brûkt ynstee fan de tekens "0" en "1". Dit is ek akseptabel. Wy binne belangstelling foar kombinaasjes dêr't F = + is. As se analysearje, kinne wy de folgjende konklúzje tekenje: Vanya die mei oan 'e doften fan' e bal, om't yn alle gefallen dêr't F de wearde nimt, en hat in positive wearde.

Foarbyld №3

No sille wy sizze dat it oantal kombinaasjes fynt wannear't F = 1 is. De ekgleich hat de folgjende foarm: F = neA + B * A + neB. Wy kompilearje de wierstafel:

Antwurd: 4 kombinaasjes.