Boolesche Algebra: Identitäten und De-Morgan-Gesetze

Die Beziehung \neg(A\land B)=\neg A\lor\neg B,\quad\neg(A\lor B)=\neg A\land\neg B fasst Boolesche Identitäten vereinfachen logische Ausdrücke über Wahrheitswerten und erhalten ihre Wahrheitstabelle. zusammen. Lies sie als Modell für klar definierte Größen, nicht als automatische Aussage über jede reale Situation. Im Beispiel ¬(A∧(B∨¬C)) = ¬A∨¬(B∨¬C) = ¬A∨(¬B∧C). Für A=1,B=0,C=1 sind beide Seiten 1; Einsetzen aller acht Belegungen bestätigt die Identität. werden die Symbole mit konkreten Werten verbunden und das Ergebnis wird fachlich interpretiert. Gültigkeitsgrenze: Neben De Morgan gelten Identität A∧1=A und A∨0=A, Komplement A∧¬A=0 und A∨¬A=1, Idempotenz A∧A=A, Absorption A∨(A∧B)=A sowie Distributivität. Die Gesetze gelten für zweiwertige Boolesche Variablen und helfen, Schaltungen algebraisch umzuformen. Quelle: MIT OpenCourseWare, 6.004 Computation Structures, C4: Boolean Equations and Logic.

Schreibe zuerst die gesuchte Größe und alle gegebenen Werte mit ihren Bezeichnungen auf. Setze sie in \neg(A\land B)=\neg A\lor\neg B,\quad\neg(A\lor B)=\neg A\land\neg B ein und prüfe, ob die Einheiten zusammenpassen. Das Beispiel ¬(A∧(B∨¬C)) = ¬A∨¬(B∨¬C) = ¬A∨(¬B∧C). Für A=1,B=0,C=1 sind beide Seiten 1; Einsetzen aller acht Belegungen bestätigt die Identität. liefert eine Rechenprobe: Werte Formel und Ergebnis müssen dieselbe Größenordnung und Bedeutung ergeben; runde erst am Ende. Gültigkeitsgrenze: Neben De Morgan gelten Identität A∧1=A und A∨0=A, Komplement A∧¬A=0 und A∨¬A=1, Idempotenz A∧A=A, Absorption A∨(A∧B)=A sowie Distributivität. Die Gesetze gelten für zweiwertige Boolesche Variablen und helfen, Schaltungen algebraisch umzuformen. Quelle: MIT OpenCourseWare, 6.004 Computation Structures, C4: Boolean Equations and Logic.

Die Formel gilt nur, wenn die Größen so definiert sind wie in der Quelle und im Hintergrundtext. Prüfe insbesondere Randfälle, Messbedingungen und ob ein Näherungszeichen statt Gleichheit gemeint ist. Ein formal korrektes Einsetzen kann trotzdem fachlich falsch sein, wenn diese Voraussetzungen verletzt werden oder die betrachtete Population beziehungsweise Systemgrenze wechselt. Gültigkeitsgrenze: Neben De Morgan gelten Identität A∧1=A und A∨0=A, Komplement A∧¬A=0 und A∨¬A=1, Idempotenz A∧A=A, Absorption A∨(A∧B)=A sowie Distributivität. Die Gesetze gelten für zweiwertige Boolesche Variablen und helfen, Schaltungen algebraisch umzuformen. Quelle: MIT OpenCourseWare, 6.004 Computation Structures, C4: Boolean Equations and Logic.

Die angegebene Einheit lautet: A,B,C und Ausdrücke in {0,1}; keine physikalische Einheit. Vor dem Einsetzen müssen alle Werte auf ein konsistentes Einheitensystem gebracht werden; Anzahlen, Prozentangaben und dimensionslose Verhältnisse sind dabei nicht austauschbar. Die Variablenliste benennt die Rolle jedes Symbols. Einheitenkontrolle erkennt viele Fehler, ersetzt aber nicht die Prüfung, ob die Formelannahmen erfüllt sind. Gültigkeitsgrenze: Neben De Morgan gelten Identität A∧1=A und A∨0=A, Komplement A∧¬A=0 und A∨¬A=1, Idempotenz A∧A=A, Absorption A∨(A∧B)=A sowie Distributivität. Die Gesetze gelten für zweiwertige Boolesche Variablen und helfen, Schaltungen algebraisch umzuformen. Quelle: MIT OpenCourseWare, 6.004 Computation Structures, C4: Boolean Equations and Logic.

Ein Vergleich hilft, wenn beide Größen dieselbe Aufgabe beantworten, aber unterschiedliche Eigenschaften betonen. Berichte Definition, Eingabedaten, Schwelle oder Aggregation zusammen mit dem Zahlenwert. Die Quelle MIT OpenCourseWare, 6.004 Computation Structures, C4: Boolean Equations and Logic. stützt die hier verwendete Definition; bei anderen Konventionen können Ergebnisse abweichen. Verwende die Kennzahl deshalb passend zum konkreten Lern- oder Analyseziel. Gültigkeitsgrenze: Neben De Morgan gelten Identität A∧1=A und A∨0=A, Komplement A∧¬A=0 und A∨¬A=1, Idempotenz A∧A=A, Absorption A∨(A∧B)=A sowie Distributivität. Die Gesetze gelten für zweiwertige Boolesche Variablen und helfen, Schaltungen algebraisch umzuformen. Quelle: MIT OpenCourseWare, 6.004 Computation Structures, C4: Boolean Equations and Logic.