Syans konpitè: tab la verite a. Konstwi tab verite

Jodi a nou pale sou sijè a rele syans. Tablo ki verite a, varyete de fonksyon, lòd la nan ekzekisyon - sa yo, se kesyon de baz nou an ki nou pral eseye jwenn repons nan atik la.

Jeneralman sa yo se kou nan anseye nan lekòl segondè, men anpil elèv se enkonpreyansyon nan kòz kèk karakteristik. Men, si ou yo ale nan konsakre lavi m ', li jis pa ka fè san yo pa mete yon egzamen eta sèl nan syans òdinatè. Tablo ki verite a, konvèti ekspresyon konplèks, pwoblèm sa yo lojik desizyon - li ka satisfè tout tikè la. Nou kounye a konsidere nan plis detay sijè sa a ak ede ou jwenn plis voye boul sou egzamen an.

lojik nan sijè a

Ki kalite sijè - òdinatè syans? Tablo ki verite - ki jan yo bati li? Poukisa syans se lojik a? Pou tout kesyon sa yo, nou pral reponn avèk ou kounye a.

Enfòmasyon teknoloji - li nan byen yon sijè kaptivan. Li kapab pa difisil nan sosyete modèn, paske tout bagay ki antoure nou, yon fason oswa yon lòt, ki gen rapò ak òdinatè a.

Fondamantal nan lojik nan syans yo pwofesè lekòl segondè nan leson yo syans. tab verite, fonksyon, senplifye ekspresyon - tout bagay sa ta dwe eksplike pwofesè a nan syans òdinatè. syans Sa a se absoliman nesesè nan lavi nou. Gade ak anpil atansyon, tout bagay se sijè a nenpòt lalwa. Ou plante boul la, li te pran vòl leve, men Lè sa a tonbe tounen nan tè a, li te paske nan lwa yo nan fizik ak fòs yo nan gravite. Manman an kwit soup la epi ajoute sèl. Poukisa lè nou manje, nou pa vini nan tout grenn yo? Byen tou senpleman, sèl la fonn nan dlo, sijè a lwa yo nan chimi.

Koulye a, peye atansyon sou wout la ou pale.

• "Si mwen pral pran chat ou nan yon klinik veterinè, li se yo dwe pran vaksen an."
• "Jodi a te yon jou trè difisil, paske ou gen yo tcheke."
• "Mwen pa vle pou yo ale nan inivèsite, paske jodi a pral gen yon kolok", ak sou sa.

Nenpòt bagay ou di, asire w ke ou obeyi lwa yo nan lojik. Sa a aplike tou de biznis ak nan konvèsasyon an zanmitay. Li se pou rezon sa a li nesesè yo konprann lwa yo nan lojik, pa yo aji nan o aza, epi yo dwe konfyans nan rezilta a nan evènman yo.

fonksyon

Nan lòd fè tab la verite pou travay yo pwopoze a ou bezwen konnen fonksyon yo lojik. Ki sa ki sa li ye? fonksyon Lojik gen kèk varyab yo, ki se deklarasyon (vre oubyen fo), ak valè a nan fonksyon nan tèt li ta dwe bay nou repons lan nan kesyon an: ". ekspresyon an se vre oubyen fo"

Tout ekspresyon gen valè sa yo:

• Vre oubyen fo.
• T ou F.
• 1 oswa 0.
• Plus oswa mwens.

Isit la, bay sè yon metòd ki se pi plis pratik pou ou. Nan lòd fè yon tab verite a, nou bezwen lis tout konbinezon yo nan varyab. Se nimewo yo kalkile nan fòmil la: 2 a n nan pouvwa. Rezilta a nan kalkil - ki kantite konbinezon posib pou n nan varyab nan fòmil la vle di nimewo a nan varyab nan yon kondisyon ki la. Si ekspresyon ki gen yon anpil nan varyab, ou ka itilize kalkilatris a pou tèt ou oswa fè yon ti tab ak batiman an nan de a pouvwa a.

Tout fonksyon lojik, se sèt oswa lyezon ki lye ak ekspresyon an:

• Miltiplikasyon (konjonksyon).
• Adisyon (disjonksyon).
• Kowolè (enplikasyon).
• Ekivalans.
• Envèrsyon.
• SHEFFER konjesyon serebral.
• Pierce flèch.

Operasyon an premye, reprezante nan lis la, yo rele "miltiplikasyon lojik." Li pouvwa dwe te note grafikman nan fòm lan nan yon tik Envèse, siy & oswa *. Dezyèm etap la nan lis nou an - de sa ki lojik, grafikman montre kòm yon tik +. Enplikasyon a se yon konsekans lojik, endike pa yon pwente flèch nan kondisyon yo sou ankèt la. se ekivalans deziye pa de-fason flèch, fonksyon an gen yon valè vre sèlman nan ka nan kòd tou de valè pran yon valè de "1" oswa "0". Envèrsyon se yon negasyon lojik. SHEFFER konjesyon serebral se fonksyon rele, ki nye konjonksyon a ak lojik ni - fonksyon, negation disjonksyon la.

Debaz fonksyon binè

tab verite lojik ede nou jwenn yon repons bay pwoblèm nan, men ou bezwen sonje tab la nan fonksyon binè. Nan seksyon sa a yo, yo pral bay la.

Konjonksyon (miltiplikasyon). Si de ekspresyon yo se verite, rezilta a nou jwenn sa a verite a, nan tout lòt ka nou jwenn yon manti.

Li sanble ke yon tab, ou konnen, Lè sa a, pa gen okenn bezwen yo pote l 'nan tout fòmil. Nan foto a pi wo a ou ka wè nan kèk ka, rezilta a se egal a yon sèl.

Rezilta - bay manti a de sa a ki lojik nou yo, se sèlman nan ka a de fo entrain.

Konsekans la ki lojik nan yon rezilta fo sèlman lè kondisyon an se vre, kòm yon konsekans - yon manti. Ou ka bay yon egzanp nan lavi: "Mwen te vle achte sik, men li te boutik la fèmen," Se poutèt sa, sik la epi yo pa achte.

Ekivalans se vre sèlman nan ka a nan valè opinyon idantik. Sa se, lè pè "0, 0" oswa "1, 1".

Nan ka a nan entèrvèrsyon tout lekòl primè, si opinyon an se yon ekspresyon vre, li se konvèti nan fo, ak vis vèrsa. Nan foto a ou ka wè ki jan li se endike grafikman.

Schiffer pwodiksyon ba pral gen yon rezilta fo sèlman si gen de ekspresyon reyèl.

Nan ka a nan lojik ni fonksyon pral vre sèlman nan ka a si opinyon an nou gen sèlman fo ekspresyon.

Nan ki lòd yo fè operasyon lojik

Remake byen ke konstriksyon an nan tab verite ak senplifikasyon nan ekspresyon se posib sèlman lè yo pase lòd ki kòrèk la nan operasyon yo. Sonje sekans an nan kote yo ta dwe te pote soti, li trè enpòtan ke ou jwenn rezilta ki kòrèk la.

• lojik negasyon;
• miltiplikasyon;
• de sa;
• envestigasyon;
• ekivalans;
• refi miltiplikasyon (Sheffer konjesyon serebral);
• refi de sa (flèch Pierce).

egzanp №1

Nou kounye a pwopoze yo konsidere egzanp lan nan konstwi yon tab verite pou 4 varyab yo. Ou bezwen konnen nan ki ka F = 0 nan ekwasyon an: nèa + B + C * D

Repons lan nan travay sa a yo pral transfè a nan konbinezon ki annapre yo: "1, 0, 0, 0", "1, 0, 0, 1" ak "1, 0, 1, 0". Kòm ou ka wè, fè tab la byen tou senpleman verite a. Yon fwa ankò mwen ta renmen trase atansyon ou nan lòd la nan aksyon yo. Nan ka a espesifik, li te jan sa a:

1. entèrvèrsyon a nan ekspresyon an premye senp.
2. konjonksyon a nan ekspresyon yo twazyèm ak katriyèm.
3. Disjonksyon dezyèm ekspresyon ak rezilta yo nan kalkil anvan yo.

egzanp №2

Koulye a, nou gade nan yon lòt travay ki egzije pou konstriksyon an nan yon tab verite a. Informatique (egzanp yo te pran soti nan kou lekòl la) ka gen pwoblèm ki lojik kòm referans. Yon gade kout nan youn nan yo. Èske Vanya koupab de vòlè boul la, si ou konnen bagay sa yo:

• Si Vanya pa t 'vòlè oswa vòlè Pyè, lè sa a Sergei patisipe nan vòl la.
• Si Ivan se pa koupab, ak Sergei pa t 'vòlè boul la.

Nou entwodui notasyon a: I - Ivan te vòlè boul la; P - Pyè te vòlè; C - Sergei te vòlè.

Anba kondisyon sa a, nou ka fè ekwasyon a: F = ((Nei + R) enplikasyon C) * (Nei enplikasyon HEC). Nou bezwen moun opsyon, kote fonksyon an pran valè a vre. Apre sa, kreye yon tab, paske fonksyon sa a se kòm anpil jan 7 aksyon, li pral omisyon. Nou pral fè sèlman pa done yo opinyon ak rezilta yo.

Remake byen ke nan pwoblèm sa a nou genyen, olye pou yo "0" senbòl ak "1" lè l sèvi avèk plis nan ak mwens. Li se tou akseptab. Nou enterese nan yon konbinezon, kote F = +. Apre nou fin analize yo, nou ka trase konklizyon sa a: Vanya patisipe nan vòl la nan boul la, tankou nan tout ka kote F pran valè a +, e li gen yon valè ki pozitif.

egzanp №3

Koulye a, nou ofri ou yo jwenn nimewo a nan konbinezon lè F = 1. ekwasyon an se jan sa a: F = nèa + B * A + Neuve. Yon tab nan verite:

Yon: 4 konbinezon.