Ki jan yo kreye yon tab verite pou yon ekspresyon konplèks ki lojik

Jodi a nou pral eseye eksplike ki jan yo kreye yon tab verite pou ekspresyon nan lojik. Remake byen ke aljèb la Boolean se yo te jwenn, omwen nan twa travay yo nan egzamen an eta ki ini. Si ou li atik sa a, Lè sa a, siman ou jwenn plis pwen nan egzamen an nan syans òdinatè.

operasyon

Anvan ou fè tab la verite, nou ofri jwenn konnen ak operasyon yo nan Boolean aljèb.

Nou pral kòmanse zanmi nou yo ak fonksyon an negasyon. Li se tou rele entèrvèrsyon. Isit la se yon egzanp: ". Jodi a mwen pral nan sinema yo" fraz la Aplike nan li envès la, kòm yon rezilta nou gen: "Jodi a mwen pa pral nan sinema yo."

Koulye a, kite nan pale sou miltiplikasyon ak adisyon fonksyon, Boolean aljèb, yo gen non - konjonksyon ak disjonksyon respektivman. Sipoze nou di, "ou ale nan fim sa yo, si ou aprann leson an ak vynesesh fatra". Nan ka sa fraz pawòl Bondye a "ak" ap fè fonksyon an nan yon konjonksyon, ak "si" - disjonksyon.

Konsekans la ki lojik - sa a se yon lòt operasyon lojik konplike ki gen de ekspresyon: yon kondisyon ak konsekans. Si nou entèprete lang nan Larisi, se pwopozisyon an bati toutotou fason ki anba la a: "Si mwen gen tan yo aprann literati a, lè sa a ale nan fim sa yo." Pati nan pwopozisyon an anvan pwen an desimal - kondisyon an ak apre pwen an desimal - yon konsekans.

Koulye a, yon ti tan sou fonksyon an nan ekivalans oswa ekivalans. Trase yon paralèl ak lang nan Larisi nan ka sa a se difisil. Pou ekivalans ta dwe sonje ke si de ekspresyon yo opinyon yo se swa fo oswa ki vre, Lè sa a, rezilta a se pozitif, se sa ki egal a yon sèl.

algorithm

Koulye a, nou pral pale sou ki jan yo kreye yon tab verite menm nan syans òdinatè, ou pito, nou pral diskite sou algorithm a nan aksyon nou yo.

Pou desen tab, li se premye nesesè yo detèmine kantite selil, ranje ak kolòn. Nou pral fè etap tout bagay pa etap.

• Nou detèmine kantite ranje. Pou fè sa, konte kantite varyab enkli nan ekspresyon an, ak drese de nan nimewo sa a. Pou egzanp, kreye yon tab verite a, ak plis ankò jisteman idantifye nimewo a nan liy pou ekspresyon an nan twa varyab yo? De drese nan degre nan twazyèm epi pou yo jwenn uit. Eksepte chapo, nou bezwen uit ranje.
• Yo nan lòd yo detèmine kantite kolòn, nou bezwen kalkile ak nimewo operasyon yo nan ekspresyon an. Pou egzanp, an tèm HEA * C + B nan tout twa operasyon yo. premye - negasyon an nan, dezyèm lan - miltiplikasyon an nan twazyèm - de sa a. Se konsa, ranpli valè yo nan operasyon nou bezwen twa kolòn. Men, ta dwe pran an kont lefèt ke ekspresyon nou an konsiste de twa varyab, epi nou bezwen ranpli nan konbinezon posib yo, pandan l ajoute twa plis ki pale natif. Total vire 6.
• Apre sa, ale nan enimerasyon nan konbinezon posib nan varyab ak tablo ranpli. Asire ou ke ou konsidere priyorite a nan operasyon yo.

Egzanp nan premye (twa varyab)

Nou ofri ou rezoud pwoblèm sa a: kalkile konbyen konbinezon satisfè kondisyon an F = 1 ekspresyon (HEA + B) + A HEC *. Koulye a, ki jan fè yon tab verite yo rezoud pwoblèm nan. Rekrite èd la nan desen moute yon algorithm aksyon.

1. Nimewo a nan ranje = 9 (uit konbinezon nan varyab + yon sèl liy - tab bouchon).
2. priyorite fonksyon: 1- entèrvèrsyon 2 - Adisyon nan parantèz 3 - entèrvèrsyon a nan C 4 - miltiplikasyon, 5 - adisyon.
3. Nimewo nan Kolòn = 8.
4. Desen tab ak ranpli.

1. Jwenn repons lan nan kesyon an.
2. repons dosye-li. Repons: 6. Remake byen ke nan kondisyon an nan travay la se mande ki jan anpil konbinezon yo satisfè, men se pa mande yo nan lis.

Yon egzanp dezyèm (varyab 4)

Nou ofri ou yo konsidere: ki jan yo kreye yon tab verite pou fòmil la: Yon * B * HEC + D? Ki sa ki koresponn ak ki kantite konbinezon: F = 0.

Nou aji selon algorithm a menm. Se nimewo a nan liy nan ka sa a ogmante a 17, ak kolòn nan - nan 8. operasyon Priyorite:

1. Yon * B;
2. HEC;
3. miltipliye rezilta yo nan operasyon an premye ak dezyèm;
4. Adisyon twazyèm operasyon rezilta ak yon valè varyab D.

Nou sijere pou w eseye fè tèt ou, epi nwasi nan tablo a ak Lè sa a konsilte avèk rezilta yo nan seksyon sa a nan atik la.

Soti nan tab la ki kapab lakòz nou konkli: se kondisyon sa a satisfè pa 7 konbinezon diferan nan varyab.