Boolesche Beziehungen mit Venn-Diagrammen verstehen

Die vierte Abbildung zeigt Menge A teilweise überlappend mit Menge B. Wir betrachten zunächst den gesamten schraffierten Bereich, der die Vereinigung beider Mengen darstellt, und isolieren später die Schnittmenge.

Unten links bezeichnet ein rot horizontal schraffierter Bereich A; ein blau vertikal schraffierter Bereich bezeichnet B.

Wenn wir alle schraffierten Bereiche aggregieren – unabhängig vom Schraffurstil – entspricht der resultierende Bereich der inklusiven ODER-Funktion von A und B. Der Boolesche Ausdruck ist A + B.

Im Diagramm stellt das 45° schraffierte Band die Vereinigung dar. Alles außerhalb dieses schraffierten Bereichs ist das Komplement, (A + B)'.

Als Nächstes untersuchen wir die Schnittmenge von A und B. Der doppelt schraffierte Bereich links repräsentiert die exklusive UND-Funktion, ausgedrückt als AB. Der Bereich außerhalb des doppelt schraffierten Bereichs ist (AB)'.

Beachten Sie, dass einige Elemente von A zu (AB)' gehören, und ebenso für B. Allerdings liegt kein Element von (AB)' innerhalb des doppelt schraffierten AB-Bereichs.

Das zweite Beispiel wird links wiederholt. Das fünfte Beispiel, das zuvor skizziert wurde, erscheint rechts zum Vergleich. In den folgenden Abschnitten werden wir Elemente identifizieren, die vollständig in einer anderen Menge enthalten sind, mithilfe von Karnaugh-Diagrammen.

Wir führen nun einen Booleschen Ausdruck ein, der eine komplementierte Variable enthält.

Beispiel: Visualisieren Sie den Ausdruck A'B (A NICHT UND B) mit einem Venn-Diagramm.

Lösung: Beginnend oben links, schraffieren Sie A' mit rot horizontaler Schraffur. Oben rechts schraffieren Sie B mit blauer vertikaler Schraffur. Der überlappende Bereich unten links repräsentiert A'B. Die meisten Studenten illustrieren den gesamten doppelt schraffierten Bereich rechts für Klarheit. Das Komplement (A'B)' ist der unschraffierte Bereich außerhalb dieser Region.

Als Nächstes behandeln wir die ODER-Operation mit einer komplementierten Variable.

Beispiel: Bestimmen Sie den Bereich für B' + A.

Lösung: Rechts beginnen Sie mit B, schraffieren es, dann komplementieren zu B'. Überlagern Sie A oben. Die Vereinigung aller schraffierten Bereiche, unabhängig vom Stil, ergibt A + B'. Dies wird links als einzelner schraffierter Bereich für Klarheit gezeigt.

Beispiel: Finden Sie das Komplement (A + B')'.

Lösung: Der weiße klare Bereich im linken Diagramm entspricht (A + B')'. Das grüne 45° schraffierte Band illustrierte zuvor die Vereinigung A + B'. Der Vergleich des Komplements mit dem doppelt schraffierten Bereich AB' rechts zeigt, dass die beiden Formen identisch sind, was De Morgans Theorem und doppelte Negation bestätigt.

Venn-Diagramme bieten intuitive visuelle Prüfungen, stellen aber keine formalen Beweise dar; Boolesche Algebra ist für rigorose Verifikation erforderlich. Dennoch sind sie unschätzbar für die Veranschaulichung von Konzepten wie De Morgans Theorem.

Beispiel: Stellen Sie den Ausdruck A' + B' in einem Venn-Diagramm dar.

Lösung: Schraffieren Sie A' mit rot horizontaler und B' mit blauer vertikaler Schraffur. Die resultierende Figur zeigt alle Bereiche, die mindestens eine Schraffur enthalten, entsprechend A' + B'. Der einzige unschraffierte Bereich ist die zentrale Überlappung der ursprünglichen Kreise.

Beispiel: Visualisieren Sie (A' + B')'.

Lösung: Der zentrale weiße Raum repräsentiert das Komplement des vorherigen Diagramms. Dies ist genau der Bereich (A' + B')'.

Beispiel: Verifizieren Sie, dass (A' + B')' = AB.

Lösung: Das untere linke Diagramm zeigt den offenen Bereich für (A' + B')'. Die linken und mittleren Diagramme zeigen die doppelt schraffierte Schnittmenge AB. Sie stimmen perfekt überein und bestätigen die Identität über De Morgans Theorem und doppelte Negation.

Schließlich präsentieren wir ein Drei-Variablen-Venn-Diagramm mit A (rot), B (blau) und C (grün 45°). Der zentrale Bereich, in dem sich alle drei überlappen, repräsentiert ABC. Größere blütenblattförmige Zonen illustrieren paarweise Schnittmengen: AB, AC und BC. Je mehr Variablen ein UND-Term hat, desto kleiner wird der entsprechende Bereich: A allein ist ein großer Kreis; AB ein kleineres Blütenblatt; ABC der kleinste Bereich.

• A (1 Variable): großer kreisförmiger Bereich.
• AB (2 Variablen): kleinerer blütenblattförmiger Bereich.
• ABC (3 Variablen): kleinster Bereich.
• Mehr Variablen → kleinerer UND-Bereich.