Terug naar les

Docentenhandleiding: 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.

Gebruik deze les in de klas

Gratis, leerlingen hebben geen account nodig.

Delen met leerlingen

Leerlingen openen de les en oefenen met directe feedback.

Werkblad om te printen

Alle oefenopgaven op papier, met een apart antwoordblad.

Klassenquiz

10 vragen over Booleaanse logica. Leerlingen doen mee met een naam, jij ziet alle scores.

Voor docenten

Leerdoelen
  • De identiteitswet, dominantiewet, idempotentiewet, complementwet en dubbele negatie formuleren
  • De commutatieve, associatieve en distributieve wet toepassen, ook A∨(B∧C)=(A∨B)∧(A∨C)A \lor (B \land C) = (A \lor B) \land (A \lor C)
  • De wetten van De Morgan en de absorptiewetten gebruiken om expressies te herschrijven
  • Een booleaanse expressie stap voor stap vereenvoudigen en bij elke stap de gebruikte wet noemen
  • Een vereenvoudiging controleren met een waarheidstabel en de bespaarde poorten tellen
Vereisten
  • • EN, OF en NIET en hun waarheidstabellen (Introductie tot Booleaanse logica, De EN-operatie, De OF-bewerking, De NIET-bewerking)
  • • Waarheidstabellen maken en kolommen vergelijken op equivalentie (Waarheidstabellen)
  • • Haakjes en samengestelde beweringen (Samengestelde booleaanse beweringen)
  • • Volgorde van bewerkingen en expressies uitrekenen (Booleaanse expressies)
  • • Logische poorten en eenvoudige schakelingen (Logische poorten)
Discussiestarters
  • 1. Waarom zou een ingenieur het belangrijk vinden om één poort te besparen als een chip er miljarden heeft?
  • 2. In de gewone algebra is x+x=2xx + x = 2x. Waarom is A∨AA \lor A in de booleaanse algebra gewoon AA?
  • 3. Hoe zou je 'breek de streep, wissel het teken' aan een vriend uitleggen met een zin over het weer?
  • 4. Wat overtuigt je meer als bewijs, een waarheidstabel of een reeks wetten? Wanneer zou je welke gebruiken?
Veelvoorkomende misvattingen

De wet van De Morgan ontkent alleen de variabelen: ¬(A∧B)=¬A∧¬B\neg(A \land B) = \neg A \land \neg B

Herstel: Gebruik een zin: 'niet (moe en hongerig)' betekent niet 'niet moe en niet hongerig'. Maak daarna beide waarheidstabellen naast elkaar en zoek de rijen die verschillen.

Booleaanse algebra volgt alle regels van de gewone algebra

Herstel: Zet x+x=2xx + x = 2x naast A∨A=AA \lor A = A, en het feit dat a+bc=(a+b)(a+c)a + bc = (a + b)(a + c) voor getallen niet klopt naast de booleaanse distributieve wet. Controleren met 0 en 1 laat zien waar de twee systemen verschillen.

Een expressie die korter lijkt, is vanzelf equivalent

Herstel: Eis dat bij elke stap een wet genoemd wordt en dat aan het eind een waarheidstabel het resultaat controleert. Laat een 'vereenvoudiging' met een verzonnen wet zien en laat leerlingen de rij vinden waar die misgaat.

DifferentiatieIdeeën

Voor leerlingen met moeite:

  • • Beginnen met één wet per expressie en een overzicht van de wetten geven om naar te wijzen
  • • Elke stap controleren met de waarden 0 en 1 voordat je verdergaat
  • • Alleen 2 variabelen gebruiken, zodat elke controle met een waarheidstabel maar 4 rijen heeft

Voor leerlingen op niveau:

  • • Expressies vereenvoudigen die 3 of 4 wetten nodig hebben en elke wet noemen
  • • De absorptiewet bewijzen met de identiteitswet, de distributieve wet en de dominantiewet
  • • Voor en na elke vereenvoudiging de poorten tellen

Voor gevorderde leerlingen:

  • • De wet van De Morgan bewijzen voor drie variabelen: ¬(A∧B∧C)=¬A∨¬B∨¬C\neg(A \land B \land C) = \neg A \lor \neg B \lor \neg C
  • • Laten zien dat EN, OF en NIET allemaal alleen met NAND-poorten te bouwen zijn
  • • (A∧B)∨(A∧¬B∧C)(A \land B) \lor (A \land \neg B \land C) vereenvoudigen en elke stap uitleggen
Standaarduitlijning
  • HSA.SSE.A.2 (CCSS.MATH.CONTENT.HSA.SSE.A.2)

    De structuur van een expressie gebruiken om manieren te vinden om haar te herschrijven

  • CCSS.MATH.PRACTICE.MP7 (MP7)

    Structuur zoeken en gebruiken

  • CCSS.MATH.PRACTICE.MP3 (MP3)

    Houdbare argumenten opbouwen en de redenering van anderen kritisch beoordelen

Lesbronnen
  • visualInteractieve waarheidstabel

    Leerlingen vergelijken de kolommen EN, OF, NIET, NAND en NOR en ontdekken de wetten van De Morgan: NAND is gelijk aan ¬A∨¬B\neg A \lor \neg B, NOR aan ¬A∧¬B\neg A \land \neg B

  • activityWettenkaarten

    Tweetallen krijgen een kaart per wet en vereenvoudigen expressies door voor elke stap een kaart neer te leggen

  • worksheetVereenvoudig en controleer

    Expressies om te vereenvoudigen met benoemde wetten, telkens gevolgd door een controle met een waarheidstabel en een telling van de poorten

Lesinhoud

Alles wat leerlingen zien: definitie, voorbeelden, veelgemaakte fouten, toepassingen. Tik om te openen.

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.

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.

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

Waarom is OF distributief over EN, terwijl a+b×ca + b \times c bij getallen niet gelijk is aan (a+b)×(a+c)(a + b) \times (a + c)?

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.

Hoe weet ik welke wet ik daarna moet gebruiken?

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.

Heb ik nog waarheidstabellen nodig als ik de wetten ken?

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.

Kan ik een wet controleren met gewoon rekenen?

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