En Algorithmus fir Gebaier Wourecht Dëscher vun logesch Ausstralung

Haut, an dësem Pabeier wäert d'Fro vum Bau engem Wourecht Dësch vun logesch Ausstralung am Detail diskutéiert ginn. Mat dësem Problem oft Schüler begéint déi de vereenegt Staat Examen am Computer Wëssenschaft ginn. An Tatsaach, ass de sougenannten Boolschen Algebra net komplex, wann Dir déi néideg Gesetzer, Operatiounen a Regele fir Gebaier Wourecht Dëscher wëssen. Dëst sinn d'Froen mir sinn elo haut ze maachen.

Boolschen Algebra

Logik Algebra baséiert op einfach logesch Ausdrock, déi vernetzt Operatiounen sinn, eng komplex Ausdrock schafen. Bedenkt datt Boolschen Algebra regruppéiert zwee Duebelstäresystem Operatiounen: Zousätzlech an ëmmer méi (an Violonist vun verzweifelt, bzw.); engem unary - Stuerz. All einfach Ausdrock (Elementer vun engem Komplex logesch Ausdrock) huelen ee vun zwee Wäerter: "1" oder "0", "richteg" oder "falsch", "+" oder "-" bzw..

Algebra vun Logik ass op e puer relativ einfach axioms baséiert:

• associativity;
• ass commutative;
• Un-;
• distributivity;
• additionality.

Wann Dir dës Gesetzer an Haaptrei vun Funktiounen wësst, eng Wourecht Dësch vun logesch Ausstralung Gebai gëtt keng Schwieregkeeten féieren. Réckruff datt d'Operatioun muss am strenge Haaptrei gesuergt ginn: Negatioun, ëmmer méi, Zousätzlech, Konsequenz, Relatioun, Erléis nëmmen dann ze Bar Schiffer oder logesch nach Operatiounen. Iwwregens, fir déi lescht zwou Funktiounen keng Regelen vun Prioritéit, hinnen an der Uerdnung ze realiséieren, an deem se etabléiert sinn.

Regele vun Ausschaffen den Dësch

eng Wourecht Dësch vun logesch Ausstralung Gebaier hëlleft vill léisen logesch Problemer a Léisungen ze komplex Artikelen Beispiller fannen. Et ass derwäert opgeschriwwen, datt et e puer Regelen vun hirem Resultat sinn.

Fir eng logesch Dësch ze richteg maachen, ass et néideg d'Zuel vun den Zeile ufänken ze bestëmmen. Wéi et ze maachen? Grof der Zuel vu Verännerlechen dass eng komplex Ausdrock nohuelen, a benotzen déi einfach Formule: A = 2 bis d'Muecht n. An - dat ass d'Zuel vun den Zeile op den Dësch vun Wourecht iwwerlieft, N - ass d'Zuel vu Verännerlechen, datt en Deel vun engem Komplex logesch Ausdrock sinn.

Beispill: komplex Ausdrock enthält dräi Verännerlechen (A, B an C), dann eng schlecht uerg muss am drëtten Ofschloss gebaut ginn. B ass d'Wourecht Dësch mir aacht Linnen hunn wäert. Foto eng Linn fir den Titel vun der KOLONN.

Nächst, mir zu eisem Ausdrock Tour an der Uerdnung vun Aktiounen gesuergt bestëmmen. Besser fir selwer e Gummi uerg (een, zwee, an sou op).

Déi nächst Schrëtt Berechent mer d'Zuel vun Operatiounen. Déi doraus resultéierend Zuel - d'Zuel vun de Sailen an eisem Dësch. Ginn sécher och eng Rei vun Saile als Verännerlechen an Ärer Begrëffer Texter ze sëtzen, d'méiglech Kombinatioune vu Verännerlechen ze fëllen.

Nächst, braucht Dir de Cap vun eisem Dësch ze fëllen. Ënnert Iech e Beispill vun dëser gesinn.

Elo viru fir d'Fëllung vum méiglech Kombinatioune. Fir zwee Verännerlechen, sinn si wéi follegt: 00, 01, 10, 11. Fir dräi Verännerlechen: 000, 001, 010, 011, 100, 101, 110, 111.

No all uewen ernimmt-Elementer fir d'Berechnung vun der Rescht Zellen an Fëllung déi doraus resultéierend Dësch viru kënnt.

Beispill

Mir betruecht elo d'Beispill en Dësch vun der logesch Ausdrock vu Gebaier ass richteg: de Stuerz vun A + B * A.

1. Grof Verännerlechen: 2. Zuel vun Linnen: 4 + 1 = 5.
2. Der Ausféierung Commande vun Aktiounen: déi éischt Stuerz, zweet verzweifelt, Violonist drëtt.
3. Zuel vu Kolonnen: 3 + 2 = 5.
4. Agetriichtert engem Haus nogezunn a llt Dësch.

Als Regel, Kläng der Aarbecht esou: "Wéivill Kombinatioune hannereneen F = 0" oder "an wat Kombinatioune F = 1". Op déi éischt Fro der Äntwert - 1, der zweeter - 00, 01, 11.

Suergfälteg gelies der Aarbecht déi Dir kritt sinn. Dir kënnt de Problem richteg léisen, mä engem virbildlechen Ugrëff schrëftlech der Äntwert ze maachen. Nach eng Kéier molen ech Är Opmierksamkeet op d'Commande vun der Aktiounen:

• Negatioun;
• ëmmer méi;
• Zousätzlech.

Aufgab

kann eng Wourecht Dësch Gebaier ze hëllefen der Äntwert op eng schwiereg logesch Problem ze fannen. Follegt de Prozess vun Virbereedung vun Ausdrock an der Wourecht Dësch fir den Zoustand vun der logesch Aufgaben Dir an dëser Rubrik vum Artikel kann.

Entscheet véier Wäerter vun A: 1), 7 2) 6, 3), 5, 4) 4. Fir e puer vun hinnen d'Ausso "Stuerz (kleng A 6) + (manner wéi 5 A)" ass falsch?

Eis éischt KOLONN wäert mat Wäerter 7, 6, 5, 4 néideg an dësem Haaptrei gefëllt ginn. An den nächsten KOLONN, musse mer d'Fro äntweren: "? A manner wéi 6" Déi drëtt Kolonn gefëllt an déi selwecht, just elo d'Äntwert op d'Fro: "? An manner wéi 5"

Mir bestëmmen der Haaptrei vun Operatiounen. Erënneren, datt Negatioun Virrang iwwer Violonist hëlt. Also déi nächst Kolonn mir am Wäerter fëllt datt dem Zoustand sëlwecht ass net (A manner wéi 6). Déi véiert gëtt den Haaptgrond Fro vun eise Problem Äntwert. Ënnert Iech e Beispill vun llt den Dësch gesinn.

Weg drun, dass mer Zuelen vun Äntwerte, e falschen Ausdrock ass e Wäert vun A = 5, dat drëtt Versioun vun der Äntwert ass.