Boolesche Relaties Begrijpen met Venndiagrammen

De vierde illustratie toont verzameling A deels overlappend met verzameling B. We beschouwen eerst het volledige geschraffelde gebied dat de vereniging van beide verzamelingen vertegenwoordigt, en isoleer later de doorsnede.

Onder links duidt een rood horizontaal geschraffeld gebied A aan; een blauw verticaal geschraffeld gebied duidt B aan.

Wanneer we alle geschraffelde gebieden aggregeren – ongeacht schrafferingsstijl – correspondeert het resulterende gebied met de inclusieve OF functie van A en B. De Boolesche expressie is A + B.

In het diagram vertegenwoordigt het 45° geschraffelde band de vereniging. Alles buiten dit geschraffelde gebied is het complement, (A + B)'.

Vervolgens onderzoeken we de doorsnede van A en B. Het dubbel-geschraffelde gebied links vertegenwoordigt de exclusieve EN functie, uitgedrukt als AB. Het gebied buiten het dubbel-geschraffelde gebied is (AB)'.

Let op dat sommige elementen van A behoren tot (AB)', en hetzelfde geldt voor B. Echter, geen enkel element van (AB)' ligt binnen het dubbel-geschraffelde AB gebied.

Het tweede voorbeeld wordt links herhaald. Het vijfde voorbeeld, eerder geschetst, verschijnt rechts ter vergelijking. In volgende secties zullen we elementen identificeren die volledig binnen een andere verzameling zitten met behulp van Karnaugh-kaarten.

We introduceren nu een Boolesche expressie die een gecomplementeerde variabele bevat.

Voorbeeld: Visualiseer de expressie A'B (A NIET EN B) met een Venndiagram.

Oplossing: Begin linksboven, schraffer A' met een rode horizontale schraffering. Rechtsboven, schraffer B met een blauwe verticale schraffering. Het overlappende gebied linksonder vertegenwoordigt A'B. Meeste studenten illustreren het volledige dubbel-geschraffelde gebied rechts voor duidelijkheid. Het complement (A'B)' is het ongeschraffelde gebied buiten deze regio.

We pakken nu de OF-operatie met een gecomplementeerde variabele aan.

Voorbeeld: Bepaal het gebied voor B' + A.

Oplossing: Rechts, begin met B, schraffer het, complementeer dan tot B'. Leg A eroverheen. De vereniging van alle geschraffelde gebieden, ongeacht stijl, geeft A + B'. Dit wordt getoond als een enkel geschraffeld gebied links voor duidelijkheid.

Voorbeeld: Vind het complement (A + B')'.

Oplossing: Het witte heldere gebied in het linkerdiagram correspondeert met (A + B')'. De groene 45° geschraffelde band illustreerde eerder de vereniging A + B'. Door het complement te vergelijken met het dubbel-geschraffelde gebied AB' rechts, zien we dat de twee vormen identiek zijn, wat De Morgan's theorema en dubbele negatie bevestigt.

Venndiagrammen bieden intuïtieve visuele controles maar vormen geen formele bewijzen; Boolesche algebra is vereist voor rigorieuze verificatie. Toch zijn ze onmisbaar voor het illustreren van concepten zoals De Morgan's theorema.

Voorbeeld: Beeld de expressie A' + B' op een Venndiagram.

Oplossing: Schraffer A' met een rode horizontale schraffering en B' met een blauwe verticale schraffering. De resulterende figuur toont alle gebieden die minstens één schraffering bevatten, overeenkomend met A' + B'. Het enige ongeschraffelde gebied is de centrale overlap van de oorspronkelijke cirkels.

Voorbeeld: Visualiseer (A' + B')'.

Oplossing: De centrale witte ruimte vertegenwoordigt het complement van het vorige diagram. Dit is precies het gebied (A' + B')'.

Voorbeeld: Verifieer dat (A' + B')' = AB.

Oplossing: Het linksonder diagram toont het open gebied voor (A' + B')'. De linker en middelste diagrammen tonen de dubbel-geschraffelde doorsnede AB. Ze matchen perfect, wat de identiteit bevestigt via De Morgan's theorema en dubbele negatie.

Ten slotte presenteren we een drievariabele Venndiagram met A (rood), B (blauw), en C (groen 45°). Het centrale gebied waar alle drie overlappen vertegenwoordigt ABC. Grotere bloemblaadvormige zones illustreren paarsgewijze doorsnedes: AB, AC, en BC. Hoe meer variabelen in een EN-term, hoe kleiner het corresponderende gebied: A alleen is een grote cirkel; AB is een kleiner bloemblaadje; ABC is het kleinste.

• A (1-variabele): groot cirkelvormig gebied.
• AB (2-variabelen): kleiner bloemblaadvormig gebied.
• ABC (3-variabelen): kleinste gebied.
• Meer variabelen → kleiner EN-gebied.