Equivalence Table, Beispill fir e logesche Problem mat enger Operatioun vun der Equivalence ze léisen

Haut proposéieren ech Iech iwwer logesch Fonktiounen ze schwätzen. Mir ginn eng Equivalence-Tabelle, well dëst ass eis Haaptfrage.

An Boolesche Algebra brauch Dir net ëmmer Regelen a Wësse vu Dëscher ze maachen, einfach e Verständnis iwwert d'Essenz vun der Funktioun, déi Iech presentéiert gëtt aus.

Logik

Trotz der Tatsaach, datt d'Fro vun der Äquivalenztabelle eng Prioritéit ass, wäerte mir e puer Wierder iwwert boolesche Algebra selbst soen. Wéi scho gesot, d'Wierkstaf soll net als Multiplikatiounstabell geléiert ginn. Fir d'Essenz vun der Operatioun ze verstoen, kënnt Dir e Beispill vun der russescher Sprooch ginn. Mä et ass komesch et schéngt ze soen, dës Method hëlleft vill ze vill fir d'Barriär ze iwwerwannen, d'Berechnung vun logeschen Aufgaben an eng interessant Aktivitéit ze drecken. Haut kënne mer kucken wéi dës Method funktionnéiert.

Firwat brauch mir Logik? Dës Wëssenschaft ass ganz wichteg, besonnesch an eiser Zäit. Bal all digitale Geräter déi mir all Dag benotzt ginn, baséieren op logesch Operatiounen. Och wann Dir net op déi technesch Säit beréiert, kuckt op wéi Dir schwätzt. All Är Propositiounen mussen de Regele vun der Logik respektéieren wéi och vun de neitste Stackel de Ball den Oofgesi vun den Gesetzer vun der Physik respektéiert.

Functions

Boolschen Algebra stellt puer elementar Funktiounen (Negatioun, ëmmer méi, Zousätzlech, an doduercher Relatioun).

Bedenkt datt d'Bedingunge fir e komplexe logesche Expression keng Begrëffer wéi "Multiplikatioun" oder "Addition" enthalen, et muss néideg sinn, hir korrekt Definitioune ze erënneren. Negatioun gëtt inversionnéiert. D'Multiplikatioun an enger Boolescher Algebra gëtt als Konjunkt bezeechent an et ass eng Disjunktioun. D'logesch Konsequenz ass Implikatioun. Gläichwäerte gëtt heiansdo Äquivalenz genannt.

Ze léisen Logik Problemer braucht Dir just d'Wourecht Dësch vun dëse Funktiounen wëssen. Mee mir hunn schon gesot datt Dir et net léiere kann, mee VERSTE STUDÉIEREN. Dëst wäert d'Käschte vun Ärer Zäit staark reduzéieren. Mir wäerten dës Methode op den Dësch vun Äquivalenz testen. Loosst eis elo un.

Equivalence

Eng logesch Funktioun, déi nëmmen ass, wa béid Aussoe expriméiert Äquivalenz entspriechen, dat ass d'Äquivalenz. D'Funktioun wou säin Dësch deen hei ënnen steet, ass eng zweegluech logesch Operatioun. Grafesch ass et entweder duerch e zweeseitegen Pfeil oder dräi horizontalen Linnen uginn. D'Schëld muss zwou einfache Ausdréck trennen.

Wa mir d'Prioritéit Funktioun, dat betruecht Logik Operatioun ass de sechsten Plaz, hannert all déi aner. Ënnert dem Dësch ass Äquivalenz.

Bedenkt datt d'Wësse-Tabelle op verschidde Manéieren bemierkbar sinn. Den wierklechen Ausdrock kann geschriwwe ginn: "+", "1" oder "AND". False - "-", "0" oder "L".

Wéi mir versprach hunn, interpretéieren mir dës logesch Operatioun op Russesch. De Ausdrock wäert richteg sinn an de folgende Fäll:

• Den éischte einfache Ausdrock ass de selwechte wéi den zweeten Ausdrock (de Expression ass eng Phrase);
• Den éischte Ausdrock ass gläich wéi d'zweet (meng Ausbildung ass gläichwäerteg mat der Erzéiung zu Groussbritannien);
• Ee Ausdrock bei Nummer 1 ass méiglech wann a nëmmen wann et e Plaz fir déi zweet ass (ech wäert d'Universitéit eran an wann ech grad grad aus der Schoul kommen).

Beispill:

Loosst eis probéieren d'Wierklechkeetstawelt an der Praxis ze benotzen. Et ass néideg ze weisen datt déi zwou Ausdrécke ënnendrënner equivalent waren:

• D'Expression 1 ass entspriechend 2;
• (1 + net 2) * (Not1 + 2).

Fir dat ze maachen, wäerte mir d'Wëssenschaftstafel fir dës Aussoen kompiléieren. Fir d'éischt, mir wäerte net maachen, well mer et an de leschte Paragraphe hunn.

Bedenkt datt déi lescht Resultater an der leschter Kolonn identesch sinn, dofir sinn d'Ausdrécke gläichwäerteg.