Bawo ni lati ṣe ipilẹ tabili otitọ fun ikosile ti iṣan boolean

Loni a yoo gbiyanju lati ṣe alaye bi o ṣe le ṣe tabili otitọ kan fun itọkasi imọran. Akiyesi pe awọn Bolianu aljebra ti wa ni ri, o kere ni awọn mẹta awọn iṣẹ-ṣiṣe ti awọn ti iṣọkan ipinle kẹhìn. Ti o ba ka ọrọ yii, lẹhinna, dajudaju, gba awọn ojuami diẹ sii ninu idanwo ni imọ-ẹrọ kọmputa.

Awọn isẹ

Ṣaaju ṣiṣe tabili otitọ kan, a daba pe lati mọ awọn iṣẹ ti Boolean algebra.

Jẹ ki a bẹrẹ awọn alabaṣepọ wa pẹlu iṣẹ ti nọnfa. O tun npe ni irọpa. Jẹ ki a fun apẹẹrẹ: ọrọ naa "Mo n lọ si awọn sinima loni." A nlo iyipada si i, bi abajade ti a ni: "NI NI lọ si sinima loni."

Nisisiyi ẹ jẹ ki a sọrọ nipa awọn iṣẹ ti isodipupo ati afikun, ni Boolean algebra wọn ni awọn orukọ - apapo ati disjunction, lẹsẹsẹ. Ṣebi a sọ fun wa pe: "Iwọ yoo lọ si sinima, ti o ba kọ ẹkọ ati jade kuro ni idọti naa." Ninu imọran yii, agbẹgbẹ "I" ṣe iṣẹ ti apapo, ati "IF" - iyasọtọ naa.

Idi ti ogbongbọn jẹ iṣiro idiṣe miiran ti iṣedede, eyiti o ni awọn ọrọ meji: ipo ati ipa. Ti o ba ṣe itumọ rẹ ni ede Russe, a gbekalẹ gbolohun naa ni irọrun bi eleyi: "Ti mo ba ni akoko lati kọ ẹkọ, lẹhinna emi yoo lọ si sinima." Apa ipin gbolohun naa ṣaaju iṣaaju jẹ ipo kan, ati lẹhin igbati ipa naa jẹ ipa.

Bayi ni kukuru nipa iṣẹ ti o ṣe deede tabi deede. Lati ṣe afiwe ni ibamu pẹlu ede Russian ni idi eyi jẹ ohun ti o ṣoro. Fun apẹẹrẹ, ranti pe bi awọn ifọrọwọle meji jẹ otitọ tabi otitọ, lẹhinna abajade jẹ rere, eyini ni, ọkan.

Algorithm

Nisisiyi a yoo sọrọ nipa bi a ṣe le ṣajọ tabili ododo kan lori alaye imọran, tabi dipo, ṣe apejuwe algorithm ti awọn iṣẹ wa.

Lati ṣajọ tabili, o nilo akọkọ lati mọ iye awọn sẹẹli, awọn ọwọn, ati awọn ori ila. A yoo ṣe gbogbo igbese nipa igbese.

• Mọ nọmba ti awọn ori ila. Fun eleyi, o ṣe pataki lati ṣe iṣiro iye awọn oniyipada ti o wa ninu ikosile, ati lati ṣe abawọn ni nọmba yii. Fun apẹẹrẹ, bawo ni a ṣe le ṣajọ tabili otitọ kan, tabi diẹ sii lati gbọ nọmba awọn ori ila fun ikosile pẹlu awọn oniyipada mẹta? Meji a gbe soke si agbara kẹta ati ki o gba mẹjọ. Laisi fila, a nilo awọn ila mẹjọ.
• Lati le mọ nomba awọn ọwọn, a nilo lati ka ati ki o ṣe nọmba awọn iṣẹ inu ọrọ yii. Fun apẹẹrẹ, ninu ikosile koA * C + B, awọn iṣẹ mẹta nikan wa. Ni igba akọkọ ti o jẹ idiwọ, ekeji jẹ isodipupo, ẹkẹta jẹ afikun. Nitorina a nilo awọn ọwọn mẹta lati kun awọn iye ti awọn iṣẹ naa. Ṣugbọn, o tọ lati ṣe akiyesi pe ikosile wa ni awọn oniyipada mẹta, ati pe a nilo lati kun awọn akojọpọ ti o le ṣe, ṣe afikun awọn atokọ mẹta. Lapapọ ti gba 6.
• Nigbamii ti, a tẹsiwaju lati ṣe apejuwe awọn akojọpọ ti awọn oniyipada ti o le jẹ ki o kun tabili naa. Rii daju lati ronu išeduro awọn iṣẹ.

Apẹẹrẹ akọkọ (awọn oniyipada mẹta)

A daba pe o yanju isoro yii: ṣe iṣiro iye awọn akopọ pọ ni ipo F = 1 ti ọrọ naa: (notA + B) * notC + A. Ati nisisiyi nipa bi a ṣe ṣe tabili otitọ kan fun ojutu ti iṣoro naa. A ṣe alagbeyin si iranlọwọ ti awọn algorithm ti a ti ṣopọ.

1. Nọmba awọn ila = 9 (awọn akojọpọ mẹjọ ti awọn oniyipada + ila kan - ori akọle tabili).
2. Ikọkọ ti awọn iṣẹ: 1-inversion, 2-afikun ni awọn akọmọ, 3-inversion C, 4-isodipupo, afikun-5.
3. Nọmba awọn ọwọn = 8.
4. Ṣiṣeto tabili ati kikun.

1. Wiwa idahun si ibeere yii.
2. Gba idahun silẹ. Idahun: 6. Akiyesi pe ipo iṣẹ beere bi ọpọlọpọ awọn akojọpọ ti wa ni inu didun, ṣugbọn ko beere fun wọn pe ki a ṣe akojọ wọn.

Àpẹrẹ keji (awọn oniyipada 4)

A daba pe o ṣe ayẹwo ibeere naa: bi o ṣe le ṣe tabili otitọ kan fun agbekalẹ: A * B * ko C + D? Eyi nọmba ti awọn akojọpọ ṣe afiwe si: F = 0.

A ṣiṣẹ lori algorithm kanna. Nọmba ti awọn ori ila ni ọran wa ti pọ si 17, ati nọmba awọn ọwọn ti pọ si 8. Ipilẹṣẹ awọn iṣẹ:

1. A * B;
2. NotC;
3. Pipọpọ awọn esi ti iṣaju akọkọ ati iṣẹ keji;
4. Afikun ti abajade isẹ-kẹta ati iye ti iyipada D.

A daba pe o gbiyanju lati ṣẹda ati ki o fọwọsi tabili naa funrararẹ, lẹhinna ṣayẹwo awọn esi ti o wa ninu abala yii.

Lati tabili ti o wa ni opin, a pari: ipo yii ni o ni itara nipasẹ 7 awọn akojọpọ oriṣiriṣi ti awọn oniyipada.