An alugoridimu fun ko otitọ tabili ti mogbonwa expressions

Loni, ni yi iwe yoo wa ni sísọ ninu awọn apejuwe awọn oro ti ko kan otitọ tabili ti mogbonwa expressions. Pẹlu isoro yi igba konge akẹkọ ti fun awọn ti iṣọkan ipinle kẹhìn ni kọmputa Imọ. Ni pato, awọn ki-npe ni Bolianu aljebra ni ko eka ti o ba ti o mọ awọn pataki ofin, mosi ati ofin fun ko otitọ tabili. Awọn wọnyi ni awọn ibeere ti a ti wa ni lilọ lati se loni.

Bolianu aljebra

kannaa aljebra da lori o rọrun mogbonwa expressions, eyi ti o wa interconnected mosi, ṣiṣẹda a eka ikosile. Akiyesi pe Bolianu aljebra ninu meji alakomeji mosi: iropo ati isodipupo (ati disjunction ti apapo, lẹsẹsẹ); a alakokan - ayida. Gbogbo rọrun ikosile (eroja ti a eka mogbonwa ikosile) mu ọkan ninu awọn meji iye: "1" tabi "0", "otito" tabi "eke", "+" tabi "-" lẹsẹsẹ.

aljebra ti kannaa ni da lori kan diẹ jo o rọrun axiom:

• associativity;
• ni commutative;
• gbigba;
• distributivity;
• additionality.

Ti o ba mọ nkan wọnyi ofin ati ọkọọkan awọn iṣẹ, ile a otitọ tabili ti mogbonwa expressions yoo ko fa eyikeyi isoro. E ranti pe isẹ gbọdọ wa ni ošišẹ ti ni ti o muna ọkọọkan: isododi, ìsọdipúpọ, afikun, Nitori, ṣe deede, nikan ki o si tä siwaju lati há Schiffer tabi mogbonwa tabi mosi. Nipa ona, fun awọn ti o kẹhin meji iṣẹ ni o wa ti ko si ofin ti ayo, lati se wọn ni awọn ibere ninu eyi ti won ti wa ni be.

Ofin ti loje soke ni tabili

Ko kan otitọ tabili ti mogbonwa expressions iranlọwọ yanju ọpọlọpọ awọn mogbonwa isoro ki o si ri awọn solusan si eka bulky apeere. O ti wa ni ye ki a kiyesi wipe o wa ni o wa diẹ ninu awọn ofin ti won akopo.

Ni ibere lati daradara ṣe a mogbonwa tabili, o jẹ pataki lati bẹrẹ lati mọ awọn nọmba ti ila. Bawo ni lati se ti o? Ka iye ti àwọn ayípadà ti o ṣe soke a eka ikosile, ati ki o lo awọn ti o rọrun agbekalẹ: A = 2 to agbara n. Ki o si - yi ni awọn nọmba ti ila ninu tabili compiled nipa otitọ, n - ni awọn nọmba ti àwọn ayípadà ti o wa ni ara ti a eka mogbonwa ikosile.

Apere: eka ikosile ni meta oniyipada (A, B ati C), ki o si a buburu ami gbọdọ wa ni itumọ ti ni kẹta ìyí. B jẹ otitọ tabili ti a yoo ni mẹjọ ila. Fi ọkan laini fun awọn akọle ti awọn iwe.

Next, a tan si wa ikosile ki o si mọ awọn aṣẹ ti sise ṣe. Dara ibere fun ara wọn a ikọwe ami (ọkan, meji, ati ki on).

Nigbamii ti igbese ti a ṣe iṣiro awọn nọmba ti mosi. Abajade nọmba - awọn nọmba ti awọn ọwọn ninu wa tabili. Jẹ daju lati fi ani nọmba kan ti awọn ọwọn bi oniyipada ti o wa ninu rẹ awọn ofin, lati kun ṣee ṣe awọn akojọpọ ti oniyipada.

Next, o nilo lati kun fila ti wa tabili. Ni isalẹ ti o ri ohun apẹẹrẹ ti yi.

Bayi tẹsiwaju si awọn nkún ti o ti ṣee awọn akojọpọ. Fun meji oniyipada, won ni o wa bi wọnyi: 00, 01, 10, 11. Fun mẹta oniyipada: 000, 001, 010, 011, 100, 101, 110, 111.

Lẹhin ti gbogbo awọn loke-darukọ awọn ohun le tẹsiwaju si isiro ti awọn ti o ku ẹyin ati àgbáye Abajade tabili.

apẹẹrẹ

A bayi ro awọn apẹẹrẹ ti ko kan tabili ti awọn mogbonwa ikosile jẹ otitọ: awọn ayida of A + B * A.

1. Ka oniyipada: 2. Number ti ila: 4 + 1 = 5.
2. Awọn ipaniyan ibere ti sise: akọkọ ayida, keji apapo, disjunction kẹta.
3. Nọmba ti Ọwọn: 3 + 2 = 5.
4. Ngba a wiwa ati kikun tabili.

Bi ofin, awọn ise dun bi yi: "Bawo ni ọpọlọpọ awọn akojọpọ satisfies F = 0" tabi "ni ohun ti awọn akojọpọ F = 1". Lori akọkọ ibeere awọn idahun - 1, awọn keji - 00, 01, 11.

Fara ka ise ti o ti wa ni fun. O le tọ yanju awọn iṣoro, sugbon lati ṣe kan asise ni kikọ awọn esi. Lekan si ni mo fa ifojusi rẹ si awọn aṣẹ ti awọn sise:

• kiko;
• isodipupo;
• afikun.

-ṣiṣe

Ko kan òtítọ tabili le ran lati ri idahun si a soro mogbonwa isoro. Tẹle awọn ilana ti igbaradi ti ikosile ati otitọ tabili fun majemu ti awọn mogbonwa awọn iṣẹ-ṣiṣe ti o le ni yi apakan ninu awọn article.

Fun mẹrin iye ti A: 1), 7 2) 6, 3), 5, 4) 4. Fun diẹ ninu awọn ti wọn ni gbólóhùn "ayida (kere A 6) + (kere ju 5 A)" jẹ eke?

Wa akọkọ iwe yoo wa ni kún pẹlu iye 7, 6, 5, 4 beere fun ni yi ọkọọkan. Ni nigbamii ti iwe, a gbọdọ dahun awọn ibeere: "Ati kere ju 6?" Awọn kẹta iwe kún ni kanna, nikan bayi ni idahun si ibeere: "Ati kere ju 5?"

A mọ awọn ọkọọkan ti mosi. Ranti wipe kiko gba precedence lori disjunction. Nítorí, nigbamii ti iwe ti a fọwọsi ni awọn iye ti badọgba lati awọn majemu ni ko (A kere ju 6). Awọn kẹrin yoo dahun awọn ibeere akọkọ ti wa isoro. Ni isalẹ ti o ri ohun apẹẹrẹ ti àgbáye awọn tabili.

Jọwọ se akiyesi pe a ni awọn nọmba ti şe, a eke ikosile ni a iye ti A = 5, yi ni kẹta ti ikede ti awọn idahun.