Computer science: ang katotohanan mesa. Constructing katotohanan tables

Ngayon makipag-usap namin tungkol sa paksa na tinatawag na science. Ang katotohanan mesa, iba't-ibang mga pag-andar, ang pagkakasunud-sunod ng pagpapatupad - ang mga ito ay ang aming pangunahing mga katanungan na kung saan kami ay subukan upang makahanap ng mga sagot sa mga artikulo.

Kadalasan ang kurso ay itinuturo sa high school, ngunit maraming mga mag-aaral ay ang sanhi hindi pagkakaunawaan ng ilang mga katangian. At kung ikaw ay pagpunta sa italaga ang aking buhay, ito lamang ay hindi maaaring gawin nang walang paglalagay ng isang solong pagsusulit ng estado sa computer science. Ang katotohanan mesa, pag-convert ng mga kumplikadong expression, ang mga problema ng desisyon logic - ito ay maaaring matugunan ang lahat ng mga tiket. Kami ngayon ay isaalang-alang nang mas detalyado topic na ito at matulungan kang makakuha ng higit pang mga bola sa pagsusulit.

ang lohika ng mga paksa

Anong uri ng paksa - computer science? Ang katotohanan talahanayan - kung paano bumuo ng ito? Bakit agham ay ang logic? Sa lahat ng mga tanong na ito, kami ay sagutin sa iyo ngayon.

Impormasyon ng teknolohiya - ito ay lubos na isang kamangha-manghang paksa. Maaaring hindi ito magiging mahirap sa modernong lipunan, dahil ang lahat ng bagay na pumapaligid sa amin, isang paraan o sa isa pa, may kinalaman sa computer.

Fundamentals ng lohika ng agham ay pangalawang guro ng paaralan sa mga aralin science. Truth talahanayan, pag-andar, simplifying expression - ang lahat ng ito ay dapat ipaliwanag ang mga guro ng computer science. Agham na ito ay ganap na kinakailangan sa ating buhay. Tingnang mabuti, lahat ng bagay ay sumasailalim sa anumang batas. Nagtanim ka ng bola, ito flew up, ngunit pagkatapos ay nahulog pabalik sa lupa, ito ay dahil sa mga batas ng pisika at ng mga puwersa ng grabidad. Mom cooks ang sopas at idagdag ang asin. Bakit kapag kumain tayo, hindi tayo dumating sa kabila ng butil? Medyo simple, ang asin dissolved sa tubig, na napapailalim sa mga batas ng kimika.

Ngayon bigyang-pansin ang paraan makipag-usap sa iyo.

• "Kung ako pagpunta sa dalhin ang iyong pusa sa isang beterinaryo klinika, siya ay upang ma-nabakunahan."
• "Ngayon ay isang napaka-mahirap na araw, dahil mayroon kang upang suriin."
• "Hindi ko nais upang pumunta sa unibersidad, dahil sa araw na ito ay magiging isang colloquium", at iba pa.

Kahit ano sabihin mo, siguraduhin na sundin ang mga batas ng logic. Ito ay sumasaklaw sa parehong mga negosyo at sa friendly na pag-uusap. Ito ay para sa kadahilanang ito ito ay kinakailangan upang maunawaan ang mga batas ng lohika, hindi na kumilos nang random, at maging kumpyansa sa ang kinalabasan ng mga kaganapan.

mga pag-andar

Upang gumawa ang katotohanan talahanayan para sa ipinanukalang mga gawain na kailangan mong malaman ang mga function logic. Ano ito? Logic function na ay may ilang mga variable, na kung saan ay mga pahayag (tama o mali), at ang halaga ng pag-andar mismo ay dapat ibigay sa amin ang sagot sa tanong na: ". Expression ay totoo o hindi"

Ang lahat ng mga expression ay may mga sumusunod na halaga:

• Totoo o hindi.
• T o F.
• 1 o 0.
• Plus o minus.

Dito, bigyan ang kagustuhan sa isang paraan na kung saan ay mas maginhawa para sa iyo. Upang gumawa ng isang katotohanan mesa, kailangan naming ilista ang lahat ng mga kumbinasyon ng mga variable. Ang kanilang mga numero ay kinakalkula sa pamamagitan ng formula: 2 na ang kapangyarihan n. Ang resulta ng pagkalkula - ang bilang ng mga posibleng mga kumbinasyon ng mga variable n sa formula nagsasaad ng bilang ng mga variable sa ang kundisyon. Kung ang expression ay may isang pulutong ng mga variable, maaari mong gamitin ang calculator para sa iyong sarili o gumawa ng isang maliit na table na may pagtayo ng dalawa hanggang kapangyarihan.

Lahat ng logic function pitong o bono ng pag-link ang expression:

• Multiplikasyon (kasabay).
• Addition (pagtanggal).
• Corollary (pahiwatig).
• Pagkapareho.
• Pagbabaligtad.
• Sheffer stroke.
• Pierce Arrow.

Ang unang operasyon, kinakatawan sa listahan, ay tinatawag na "lohikal na pagpaparami." Mapapansin graphically sa anyo ng isang saliwain tick, tanda at o *. Ang ikalawang hakbang sa aming listahan - lohikal karagdagan, graphically ipinapakita bilang isang tik +. Ang mga implikasyon ay isang lohikal na kinahinatnan, na ipinapahiwatig ng isang arrow na nakaturo mula sa mga kondisyon sa imbestigasyon. Pagpareho ay naka-denote sa pamamagitan ng dalawang-way na arrow, ang function ay may isang tunay na halaga lamang sa mga kaso ng code sa parehong halaga kumuha ng isang halaga ng "1" o "0". Pagbabaligtad ay isang lohikal na pagsang-ayon. Sheffer stroke function ay tinatawag na, na kung saan denies ang pagsama at lohikal na pag-nor - function, negating ang pagtanggal.

Basic binary function

Tinutulungan lohikal na katotohanan talahanayan upang mahanap ang sagot sa mga problema, ngunit kailangan mong tandaan ang talaan ng mga binary function. Sa seksyong ito, ang mga ito ay ibinigay.

Kasabay (multiplication). Kung dalawa expression ay totoo, ang resulta makuha namin ang katotohanan, sa lahat ng iba pang mga kaso makakakuha tayo ng isang kasinungalingan.

Tila isang table, alam mo, at pagkatapos ay hindi na kailangan upang dalhin ito sa lahat ng mga formula. Sa larawan sa itaas maaari mong makita sa ilang mga kaso, ang resulta ay katumbas ng isa.

Resulta - hindi nagsasabi ng totoo sa mga lohikal na karagdagan ay lamang namin sa kaso ng dalawang maling inputs.

Ang lohikal na kinahinatnan ng isang maling resulta lamang kapag ang kalagayan ay totoo, bilang resulta - isang kasinungalingan. Maaari kang magbigay ng isang halimbawa mula sa buhay: "Nais kong bumili ng asukal, ngunit ang mga tindahan ay sarado," samakatuwid, ang asukal at hindi bumili.

Pagpareho ay totoo lamang sa kaso ng mga magkakahawig na mga halaga ng input. Iyon ay, kapag ang mga pares ng "0, 0" o "1, 1".

Sa kaso ng pagbabaligtad lahat ng elementarya, kung ang input ay isang tunay na expression, ito ay na-convert sa false, at vice versa. Sa larawan sa maaari mong makita kung paano ito ay ipinababatid graphically.

Schiffer bar output ay magkakaroon ng isang maling resulta lamang kung mayroong dalawang tunay na expression.

Sa kaso ng lohikal o function na ay magiging totoo lamang sa kaso kung ang input kami ay may lamang ng huwad na mga expression.

Sa anong pagkakasunud-sunod upang maisagawa ang mga lohikal na operasyon

Tandaan na ang konstruksiyon ng katotohanan tables at pagpapagaan ng mga expression ay posible lamang kapag ang tamang pagkakasunud-sunod ng mga operasyon. Tandaan ang pagkakasunod-sunod na kung saan sila ay dapat natupad, ito ay napakahalaga upang makuha ang tamang resulta.

• lohikal na pananalansang;
• pagpaparami;
• Bilang karagdagan;
• pagsisiyasat;
• equivalence;
• pagtanggi ng pagpaparami (Sheffer stroke);
• pagtanggi sa karagdagan (arrow Pierce).

halimbawa №1

Kami ngayon ay imungkahi upang isaalang-alang ang halimbawa ng paggawa sa isang katotohanan talahanayan para sa 4 variable. Kailangan mong malaman kung saan kaso F = 0 sa equation: Nea + B + C * D

Ang sagot sa gawaing ito ay ang paglipat ng mga sumusunod na mga kumbinasyon: "1, 0, 0, 0", "1, 0, 0, 1" at "1, 0, 1, 0". Tulad ng iyong nakikita, gumawa ng mesa lubos na lamang ang katotohanan. Muli Gusto kong iguhit ang iyong pansin sa ang pagkakasunod-sunod ng mga aksyon. Sa partikular na kaso, ito ay ang mga sumusunod:

1. Ang pagbabaligtad ng unang simpleng expression.
2. Ang pagsama ng ikatlo at ikaapat na mga expression.
3. Pagtanggal ikalawang expression sa mga resulta ng mga nakaraang mga kalkulasyon.

halimbawa №2

Ngayon tinitingnan namin ang isa pang trabaho na nangangailangan ng pagtatayo ng isang katotohanan mesa. Nagco-compute ng (mga halimbawa ay kinuha mula sa paaralan siyempre) ay maaaring magkaroon ng mga lohikal na mga problema tulad ng reference. Isang maikling pagtingin sa isa sa kanila. Gawin Vanya nagkasala sa pagnanakaw ang bola, kung alam mo ang mga sumusunod:

• Kung Vanya ay hindi magnakaw o pagnanakaw ng Peter, pagkatapos ay Sergei lumahok sa pagnanakaw ng pagkakakilanlan.
• Kung Ivan ay hindi nagkasala, at Sergei ay hindi nakawin ang bola.

Ipinakilala namin ang pagtatanda: I - Ivan nakaagaw ng bola; P - Peter nagnakaw; C - Sergei nagnakaw.

Sa ilalim ng kondisyon na ito, maaari naming gawin ang mga equation: F = ((Nei + R) implikasyon C) * (Nei implikasyon HEC). Kailangan natin ng mga pagpipilian, kung saan ang function ay tumatagal ng tunay na halaga. Susunod, lumikha ng isang table, dahil ang function na ito ay kasindami ng 7 pagkilos, ito ay nakaligtaan. Susundan natin ang ginawa lamang sa pamamagitan ng data input at mga resulta.

Tandaan na sa problemang ito kami ay may, sa halip na "0" mga simbolo at "1" gamit ang plus at minus. Ito rin katanggap-tanggap. Kami ay interesado sa isang kumbinasyon, kung saan F = +. Pagkatapos ng pagsusuri ng mga ito, maaari naming gumuhit ang mga sumusunod na konklusyon: Vanya lumahok sa pagnanakaw ng bola, tulad ng sa lahat ng mga kaso kung saan ang F ay tumatagal ng ang halaga ng +, at may isang positibong halaga.

halimbawa №3

Ngayon nag-aalok kami sa iyo upang mahanap ang bilang ng mga kumbinasyon kapag F = 1. equation ay tulad ng sumusunod: F = Nea + B * A + Neuve. Isang talaan ng mga katotohanan:

A: 4 na kumbinasyon.