Booleaanse algebra

Leer de wetten van de booleaanse algebra, ook de wetten van De Morgan, gebruik ze om expressies stap voor stap te vereenvoudigen en controleer het resultaat met een waarheidstabel.

Gevorderd30 minLes

Definitie

Booleaanse algebra is een verzameling wetten om booleaanse expressies te herschrijven. Elke wet zegt dat twee expressies equivalent zijn: ze hebben voor elke invoer dezelfde waarheidswaarde, dus je mag de ene altijd door de andere vervangen. Met de wetten kun je een expressie vereenvoudigen zonder telkens een nieuwe waarheidstabel te maken.
We schrijven 1 voor waar en 0 voor onwaar (ook de interactieve waarheidstabellen gebruiken 1 en 0). Ingenieurs schrijven vaak A⋅BA \cdot B voor A∧BA \land B, A+BA + B voor A∨BA \lor B en A‾\overline{A} voor ¬A\neg A: dat betekent precies hetzelfde. In deze les gebruiken we ∧\land, ∨\lor en ¬\neg.
De wetten (AA, BB en CC zijn booleaanse variabelen):
WetEN-vormOF-vorm
IdentiteitswetA∧1=AA \land 1 = AA∨0=AA \lor 0 = A
DominantiewetA∧0=0A \land 0 = 0A∨1=1A \lor 1 = 1
IdempotentiewetA∧A=AA \land A = AA∨A=AA \lor A = A
ComplementwetA∧¬A=0A \land \neg A = 0A∨¬A=1A \lor \neg A = 1
Dubbele negatie¬¬A=A\neg\neg A = A(maar één vorm)
Commutatieve wetA∧B=B∧AA \land B = B \land AA∨B=B∨AA \lor B = B \lor A
Associatieve wet(A∧B)∧C=A∧(B∧C)(A \land B) \land C = A \land (B \land C)(A∨B)∨C=A∨(B∨C)(A \lor B) \lor C = A \lor (B \lor C)
Distributieve wetA∧(B∨C)=(A∧B)∨(A∧C)A \land (B \lor C) = (A \land B) \lor (A \land C)A∨(B∧C)=(A∨B)∧(A∨C)A \lor (B \land C) = (A \lor B) \land (A \lor C)
AbsorptiewetA∧(A∨B)=AA \land (A \lor B) = AA∨(A∧B)=AA \lor (A \land B) = A
De Morgan¬(A∧B)=¬A∨¬B\neg(A \land B) = \neg A \lor \neg B¬(A∨B)=¬A∧¬B\neg(A \lor B) = \neg A \land \neg B
Let op het patroon: verwissel in de ene kolom ∧\land met ∨\lor en 0 met 1, en je krijgt de andere kolom. Dat heet dualiteit.
Stap voor stap vereenvoudigen: gebruik per stap één wet en noem die. Controleer daarna het resultaat met een waarheidstabel: als de eindkolommen in elke rij gelijk zijn, is de vereenvoudiging juist.

Probeer het meteen

Welke wet zegt dat A∧¬A=0A \land \neg A = 0?

Uitgewerkte voorbeelden

Vereenvoudig (A∧1)∨(B∧0)(A \land 1) \lor (B \land 0).

1

Pas de identiteitswet toe op het eerste haakjesdeel

A∧1=AA \land 1 = A, want EN met waar verandert niets → A∨(B∧0)A \lor (B \land 0)

2

Pas de dominantiewet toe op het tweede haakjesdeel

B∧0=0B \land 0 = 0, want EN met onwaar is altijd onwaar → A∨0A \lor 0

3

Pas de identiteitswet nog eens toe

A∨0=AA \lor 0 = A, want OF met onwaar verandert niets → AA

Veelgemaakte fouten

¬(A∧B)=¬A∧¬B\neg(A \land B) = \neg A \land \neg B schrijven

Waarom het fout is: De wet van De Morgan verandert niet alleen de variabelen, maar ook de operator. Test A=1A = 1, B=0B = 0: de linkerkant is ¬0=1\neg 0 = 1, de rechterkant 0∧1=00 \land 1 = 0.

Correct: Breek de streep en wissel het teken: ¬(A∧B)=¬A∨¬B\neg(A \land B) = \neg A \lor \neg B en ¬(A∨B)=¬A∧¬B\neg(A \lor B) = \neg A \land \neg B.

Regels van de gewone algebra gebruiken, zoals A∨A=2AA \lor A = 2A of A∧A=A2A \land A = A^2

Waarom het fout is: Booleaanse variabelen zijn alleen 0 of 1, en 1∨11 \lor 1 is 1, niet 2. Een variabele herhalen voegt niets nieuws toe.

Correct: Gebruik de idempotentiewet: A∨A=AA \lor A = A en A∧A=AA \land A = A.

A∨B∧CA \lor B \land C lezen als (A∨B)∧C(A \lor B) \land C

Waarom het fout is: EN gaat voor OF, net zoals vermenigvuldigen voor optellen gaat. Met A=1A = 1, B=0B = 0, C=0C = 0 is de juiste waarde 1∨0=11 \lor 0 = 1, maar de verkeerde lezing geeft 1∧0=01 \land 0 = 0.

Correct: Zet de haakjes neer voordat je een wet toepast: A∨B∧C=A∨(B∧C)A \lor B \land C = A \lor (B \land C).

De complementwet toepassen op twee verschillende variabelen, zoals A∧¬B=0A \land \neg B = 0

Waarom het fout is: De complementwet werkt alleen voor een variabele en haar eigen negatie. Met A=1A = 1, B=0B = 0: A∧¬B=1∧1=1A \land \neg B = 1 \land 1 = 1, niet 0.

Correct: Zoek dezelfde letter: A∧¬A=0A \land \neg A = 0 en B∨¬B=1B \lor \neg B = 1, maar A∧¬BA \land \neg B kun je niet vereenvoudigen.

Interactieve visualisatie

Waarheidstabel

UitdrukkingA ∧ B ∨ A ∧ ¬B
ABA ∧ B¬BA ∧ ¬BA ∧ B ∨ A ∧ ¬B
000100
010000
100111
111001

1= Waar0= Onwaar

Waarheidstabel

A ∧ B
ABA ∧ B
000
010
100
111

1= Waar0= Onwaar

Interactieve sandbox

Expressiecalculator

Probeer deze:

Geschiedenis

Nog geen berekeningen

Oefenproblemen

18 opgaven
Opgave 1 van 18
Makkelijk

Welke wet zegt dat A∧¬A=0A \land \neg A = 0?

Waarom het belangrijk is

Elke ∧\land, ∨\lor en ¬\neg in een expressie wordt in een schakeling een logische poort. Een kortere expressie betekent minder poorten, en minder poorten betekenen een chip die goedkoper, kleiner en sneller is en minder stroom gebruikt.
  • Elektronica: een processor bevat miljarden poorten, dus wie één poort bespaart in een schakeling die een miljoen keer wordt gekopieerd, bespaart een miljoen poorten
  • Programmeren: een voorwaarde als NIET (weekend OF feestdag) kun je herschrijven als (NIET weekend) EN (NIET feestdag), wat vaak makkelijker te lezen en te testen is
  • Zoeken en databases: een filter als wiskunde OF (wiskunde EN logica) geeft precies dezelfde resultaten als alleen wiskunde
  • Bewijzen: met de wetten kun je bewijzen dat twee schakelingen of twee voorwaarden hetzelfde doen zonder elke invoer te proberen
In de les Waarheidstabellen controleerde je equivalenties rij voor rij, en in de les Logische poorten bouwde je schakelingen. Booleaanse algebra verbindt die twee: ze maakt van een grote schakeling een kleine, en een waarheidstabel bevestigt dat er niets veranderd is.

Toepassingen in de echte wereld

Goedkopere chips ontwerpen

Chipontwerpers vereenvoudigen elke schakeling met booleaanse algebra voordat die gebouwd wordt, want elke poort kost ruimte, stroom en geld.

Voorbeeld:

Een schakeling voor (A∧B)∨(A∧C)(A \land B) \lor (A \land C) gebruikt 3 poorten. Buiten haakjes gehaald, A∧(B∨C)A \land (B \lor C), zijn er maar 2 nodig.

1Probeer het zelf

Een chip bevat 1000 kopieën van een schakeling die (A∧B)∨(A∧C)(A \land B) \lor (A \land C) berekent. Tel één poort voor elke ∧\land en elke ∨\lor.

Hoeveel poorten bespaart de hele chip als de schakeling vereenvoudigd wordt tot A∧(B∨C)A \land (B \lor C)?

Stap 1: Schrijf de wiskundige uitdrukking

Schrijf de besparing als berekening:

Leesbare voorwaarden in een programma

Programmeurs gebruiken de wetten van De Morgan om verwarrende dubbele ontkenningen uit de voorwaarden in hun code te halen.

Voorbeeld:

NIET (weekend OF feestdag) is hetzelfde als (NIET weekend) EN (NIET feestdag): de winkel is open op dagen die geen van beide zijn.

2Probeer het zelf

Een programma opent een slagboom als ¬(¬P∧¬G)\neg(\neg P \land \neg G) geldt, waarbij PP betekent dat de bezoeker een pasje heeft en GG dat de bezoeker op de gastenlijst staat.

Wat is de eenvoudigste vorm van de voorwaarde, en hoeveel NIET-operatoren vallen weg?

Stap 1: Schrijf de wiskundige uitdrukking

Schrijf het aantal NIET-operatoren ervoor en erna als aftrekking:

Zoekfilters

Zoekmachines en databases vereenvoudigen filters met de absorptiewet voordat ze die uitvoeren.

Voorbeeld:

Het filter wiskunde OF (wiskunde EN logica) geeft precies dezelfde boeken als het filter wiskunde.

3Probeer het zelf

Een bibliotheek heeft 40 wiskundeboeken, en 15 daarvan gaan ook over logica. Iemand zoekt op wiskunde OF (wiskunde EN logica).

Hoeveel boeken levert de zoekopdracht op?

Stap 1: Schrijf de wiskundige uitdrukking

Tel de wiskundeboeken op bij de extra boeken die (wiskunde EN logica) toevoegt:

Belangrijke punten

  • 1Booleaanse algebra gebruikt wetten om een expressie te herschrijven tot een equivalente, zonder telkens een nieuwe waarheidstabel
  • 2De identiteitswet, dominantiewet, idempotentiewet en complementwet verwijderen constanten en herhaalde variabelen: A∧1=AA \land 1 = A, A∨1=1A \lor 1 = 1, A∨A=AA \lor A = A, A∧¬A=0A \land \neg A = 0
  • 3De commutatieve, associatieve en distributieve wet verwisselen, hergroeperen en halen buiten haakjes; in de booleaanse algebra is ook OF distributief over EN
  • 4Absorptiewetten: A∨(A∧B)=AA \lor (A \land B) = A en A∧(A∨B)=AA \land (A \lor B) = A
  • 5Wetten van De Morgan: breek de streep en wissel het teken, ¬(A∧B)=¬A∨¬B\neg(A \land B) = \neg A \lor \neg B en ¬(A∨B)=¬A∧¬B\neg(A \lor B) = \neg A \land \neg B
  • 6Vereenvoudig met één wet per stap, noem elke wet en controleer het resultaat met een waarheidstabel; een eenvoudigere expressie betekent minder poorten

Veelgestelde vragen

Omdat booleaanse variabelen alleen 0 of 1 zijn. Controleer beide gevallen: als A=1A = 1, zijn beide kanten van A∨(B∧C)=(A∨B)∧(A∨C)A \lor (B \land C) = (A \lor B) \land (A \lor C) gelijk aan 1; als A=0A = 0, worden beide kanten B∧CB \land C. Met gewone getallen is 1+2×3=71 + 2 \times 3 = 7, maar (1+2)×(1+3)=12(1 + 2) \times (1 + 3) = 12, dus deze wet geldt alleen in de booleaanse algebra.
Omdat booleaanse variabelen alleen 0 of 1 zijn. Controleer beide gevallen: als A=1A = 1, zijn beide kanten van A∨(B∧C)=(A∨B)∧(A∨C)A \lor (B \land C) = (A \lor B) \land (A \lor C) gelijk aan 1; als A=0A = 0, worden beide kanten B∧CB \land C. Met gewone getallen is 1+2×3=71 + 2 \times 3 = 7, maar (1+2)×(1+3)=12(1 + 2) \times (1 + 3) = 12, dus deze wet geldt alleen in de booleaanse algebra.
Let op patronen: een NIET voor haakjes vraagt om De Morgan, een variabele die in twee haakjesdelen terugkomt vraagt om buiten haakjes halen (distributieve wet), en een variabele naast haar eigen negatie vraagt om de complementwet. De constanten 0 en 1 verdwijnen met de identiteitswet en de dominantiewet.
De wetten vinden de vereenvoudiging, de waarheidstabel bevestigt haar. Een tabel met 2 variabelen heeft maar 4 rijen, dus het is een snelle en betrouwbare controle, vooral als je twijfelt over een stap.
Ja, met 0 en 1: A∧B=A×BA \land B = A \times B, ¬A=1−A\neg A = 1 - A en A∨B=A+B−A×BA \lor B = A + B - A \times B. Bijvoorbeeld met A=1A = 1 en B=1B = 1: 1+1−1×1=11 + 1 - 1 \times 1 = 1, dus 1∨1=11 \lor 1 = 1. De rekenmachine in deze les werkt met deze getallen.

Woordenlijst

Booleaanse algebra
De verzameling wetten om booleaanse expressies te herschrijven en te vereenvoudigen
Wet
Een equivalentie die voor elke waarde van de variabelen geldt, zoals A∨0=AA \lor 0 = A
Equivalent
Dezelfde waarheidswaarde hebben in elke rij van de waarheidstabel
Vereenvoudigen
Een expressie met minder operatoren schrijven, zodat ze equivalent blijft
Wetten van De Morgan
¬(A∧B)=¬A∨¬B\neg(A \land B) = \neg A \lor \neg B en ¬(A∨B)=¬A∧¬B\neg(A \lor B) = \neg A \land \neg B
Absorptiewet
A∨(A∧B)=AA \lor (A \land B) = A en A∧(A∨B)=AA \land (A \lor B) = A

Formulekaart

Identiteitswet en dominantiewet

A∧1=A,A∨0=A,A∧0=0,A∨1=1A \land 1 = A, \quad A \lor 0 = A, \quad A \land 0 = 0, \quad A \lor 1 = 1

EN met 1 en OF met 0 veranderen niets; EN met 0 en OF met 1 bepalen de uitkomst

Idempotentiewet en complementwet

A∧A=A,A∨A=A,A∧¬A=0,A∨¬A=1A \land A = A, \quad A \lor A = A, \quad A \land \neg A = 0, \quad A \lor \neg A = 1

Een variabele herhalen voegt niets toe; een variabele met haar eigen negatie geeft een constante

Dubbele negatie

¬¬A=A\neg\neg A = A

Twee NIET-bewerkingen na elkaar heffen elkaar op

Distributieve wetten

A∧(B∨C)=(A∧B)∨(A∧C),A∨(B∧C)=(A∨B)∧(A∨C)A \land (B \lor C) = (A \land B) \lor (A \land C), \quad A \lor (B \land C) = (A \lor B) \land (A \lor C)

Beide gelden in de booleaanse algebra; de tweede werkt niet voor gewone getallen

Absorptiewetten

A∨(A∧B)=A,A∧(A∨B)=AA \lor (A \land B) = A, \quad A \land (A \lor B) = A

Het langere deel wordt door $A$ opgeslokt

Wetten van De Morgan

¬(A∧B)=¬A∨¬B,¬(A∨B)=¬A∧¬B\neg(A \land B) = \neg A \lor \neg B, \quad \neg(A \lor B) = \neg A \land \neg B

Breek de streep, wissel het teken

Meer over dit onderwerp