Usa ka algorithm alang sa pagtukod sa kamatuoran lamesa sa makataronganon nga mga ekspresyon

Karon, sa papel niini nga gihisgotan sa detalye sa isyu sa pagtukod sa usa ka kamatuoran lamesa sa makataronganon nga mga ekspresyon. Uban sa niini nga problema nga sagad nakahibalag sa mga estudyante nga sa paghatag sa mga hiniusa nga exam estado sa computer sa siyensiya. Sa pagkatinuod, ang mao nga-gitawag nga Boolean algebra dili komplikado kon kamo nasayud sa mga gikinahanglan nga mga balaod, operasyon ug mga lagda alang sa pagtukod sa kamatuoran lamesa. Kini mao ang mga pangutana nga atong buhaton karon.

Boolean algebra

katarungan sa algebra base sa yano nga makataronganon nga mga ekspresyon, nga mao ang mga interconnected operasyon, pagmugna sa usa ka komplikado nga ekspresyon. Timan-i nga Boolean algebra naglangkob sa duha ka mga duha operasyon: Dugang pa ug multiplication (ug disjunction sa inubanan, sa tinagsa); sa usa ka unary - inversion. Ang tanan nga yano nga ekspresyon (elemento sa usa ka komplikado nga lohikal nga ekspresyon) pagkuha sa usa sa duha ka mga hiyas: "1" o "0", "tinuod" o "bakak nga", "+" o "-" sa tinagsa.

algebra sa katarungan gibase sa pipila ka medyo yano nga axioms:

• associativity;
• mao commutative;
• pagsuyup;
• distributivity;
• additionality.

Kon kamo mahibalo niining mga balaod ug mga han-ay sa mga gimbuhaton, pagtukod sa usa ka kamatuoran lamesa sa makataronganon nga mga ekspresyon dili hinungdan sa bisan unsa nga mga kalisdanan. Hinumdomi nga ang operasyon kinahanglan nga gihimo diha sa hugot nga ay: supak, multiplication, Dugang pa, sangputanan, pagtugbang, lamang dayon trangka Schiffer o makataronganon ni operasyon. Pinaagi sa dalan, alang sa katapusan nga duha ka mga gimbuhaton mao ang dili mga lagda sa prayoridad, sa pagpatuman kanila sa han-ay sa ilang nahimutang.

Mga lagda sa pagpakigsuod sa lamesa

Pagtukod sa usa ka kamatuoran lamesa sa makataronganon nga mga ekspresyon makatabang sa pagsulbad sa daghang makataronganon nga mga problema ug makakita og mga solusyon sa complex bulky mga panig-ingnan. Kini mao ang bili noting nga adunay mga pipila ka mga lagda sa ilang hinugpong.

Aron sa tukma nga paagi sa paghimo sa usa ka makataronganon lamesa, kini mao ang gikinahanglan nga sa pagsugod sa pagtino sa gidaghanon sa mga laray nga gihulma. Unsa nga paagi sa pagbuhat niini? Ipha ang gidaghanon sa mga baryable nga sa paghimo sa usa ka komplikado nga ekspresyon, ug sa paggamit sa mga yano nga pormula: Usa ka = 2 ngadto sa gahum n. Ug - kini mao ang gidaghanon sa mga laray nga gihulma sa lamesa gihipos sa kamatuoran, n - mao ang gidaghanon sa mga baryable nga bahin sa usa ka komplikado nga lohikal nga ekspresyon.

Panig-ingnan: complex ekspresyon naglangkob sa tulo ka mga baryable (A, B ug C), unya ang usa ka dili maayo nga marka kinahanglan nga gitukod sa ikatulong degree. B mao ang kamatuoran lamesa kita adunay walo ka linya. Idugang sa usa ka linya alang sa titulo sa kolum.

Sunod, kita sa atong ekspresyon ug pagtino sa kapunongan sa mga buhat nga gihimo. Maayo pa aron alang sa ilang kaugalingon sa usa ka lapis marka (usa, duha, ug sa ingon sa).

Ang sunod nga lakang kuwentahon kita sa gidaghanon sa mga operasyon. Ang resulta gidaghanon - ang gidaghanon sa mga haligi sa atong lamesa. Siguroha aron sa pagdugang sa usa ka gidaghanon sa mga haligi ingon sa mga baryable nga anaa sa inyong mga termino, aron sa pun-on sa mga posible nga mga kalihokan sa mga baryable.

Sunod, kamo kinahanglan nga pun-on sa mga Cap sa atong lamesa. Ubos imong makita ang usa ka panig-ingnan sa niini.

Karon mopadayon sa pagpuno sa posible nga mga kalihokan. Sulod sa duha ka baryable, sila ingon sa mga mosunod: 00, 01, 10, 11. Sulod sa tulo ka baryable: 000, 001, 010, 011, 100, 101, 110, 111.

Human sa tanan nga mga butang sa ibabaw-nga gihisgotan mahimong mopadayon sa pagtantiya, pagbanabana sa mga nahibilin nga mga selula ug sa pagpuno sa mga resulta sa lamesa.

nga panig-ingnan

Kita karon tagda ang panig-ingnan sa pagtukod sa usa ka lamesa sa makataronganon nga ekspresyon tinuod: ang inversion sa A + B * A.

1. Ipha baryable: 2. Gidaghanon sa mga linya: 4 + 1 = 5.
2. Ang pagpatay kapunongan sa mga buhat: ang unang inversion, ikaduhang duyog, disjunction ikatulo.
3. Gidaghanon sa mga Kolumnista: 3 + 2 = 5.
4. Pagkuha sa usa ka pinalut ug pagpuno lamesa.

Ingon sa usa ka pagmando sa, ang trabaho tunog nga sama niini: "Sa unsang paagi nga sa daghan nga mga nga mga kalihokan motagbaw F = 0" o "sa unsa nga mga kalihokan F = 1". Sa unang pangutana ang tubag - 1, ang ikaduha - 00, 01, 11.

Pag-ayo sa pagbasa sa trabaho nga imong gihatag. Ikaw mahimo sa husto nga paagi sa pagsulbad sa problema, apan sa paghimo sa usa ka sayop sa pagsulat sa tubag. Sa higayon nga pag-usab ko ang inyong pagtagad ngadto sa kapunongan sa mga aksyon:

• paglimod;
• multiplication;
• Dugang pa.

buluhaton

Pagtukod sa usa ka kamatuoran sa lamesa makatabang sa pagpangita sa mga tubag ngadto sa usa ka lisod nga lohikal nga problema. Sunda ang proseso sa pag-andam sa pagpahayag ug sa kamatuoran lamesa alang sa kahimtang sa mga makataronganon buluhaton nga inyong mahimo sa seksyon niini nga sa artikulo.

Gihatag sa upat ka mga mithi sa A: 1), 7 2) 6, 3), 5, 4) 4. Alang sa pipila kanila ang pamahayag nga "inversion (mas gamay sa usa ka 6) + (ubos pa kay sa 5 Ang usa ka)" bakak?

Ang atong unang kolum mapuno sa mga hiyas 7, 6, 5, 4 gikinahanglan sa han-ay niini. Sa sunod nga kolum, kita kinahanglan gayud nga motubag sa mga pangutana: "? Ug ubos pa kay sa 6" Ang ikatulo nga kolum nga puno sa gihapon, lamang karon ang tubag sa pangutana: "? Ug dili kaayo kay sa 5"

pagtino kita sa han-ay sa operasyon. Hinumdumi nga ang paglimod unahon sa disjunction. Busa, sa sunod nga kolum pun-on kita sa mga prinsipyo nga motakdo sa kahimtang mao ang dili (Usa ka dili kaayo pa kay sa 6). ikaupat ang motubag sa mga nag-unang pangutana sa atong problema. Ubos imong makita ang usa ka panig-ingnan sa pagpuno sa lamesa.

Palihug timan-i nga kita adunay gidaghanon sa mga tubag, ang usa ka bakak nga mga ekspresyon mao ang usa ka bili sa usa ka = 5, mao kini ang ikatulo nga bersyon sa tubag.