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.
Klassenquiz
10 vragen over Booleaanse logica. Leerlingen doen mee met een naam, jij ziet alle scores.
Voor docenten
- De identiteitswet, dominantiewet, idempotentiewet, complementwet en dubbele negatie formuleren
- De commutatieve, associatieve en distributieve wet toepassen, ook
- 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
- • 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)
- 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 . Waarom is in de booleaanse algebra gewoon ?
- 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?
De wet van De Morgan ontkent alleen de variabelen:
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 naast , en het feit dat 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.
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:
- • Laten zien dat EN, OF en NIET allemaal alleen met NAND-poorten te bouwen zijn
- • vereenvoudigen en elke stap uitleggen
- 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
- visualInteractieve waarheidstabel
Leerlingen vergelijken de kolommen EN, OF, NIET, NAND en NOR en ontdekken de wetten van De Morgan: NAND is gelijk aan , NOR aan
- 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.
Lesinhoud
Alles wat leerlingen zien: definitie, voorbeelden, veelgemaakte fouten, toepassingen. Tik om te openen.
Definitie
| Wet | EN-vorm | OF-vorm |
|---|---|---|
| Identiteitswet | ||
| Dominantiewet | ||
| Idempotentiewet | ||
| Complementwet | ||
| Dubbele negatie | (maar één vorm) | |
| Commutatieve wet | ||
| Associatieve wet | ||
| Distributieve wet | ||
| Absorptiewet | ||
| De Morgan |
Uitgewerkte voorbeelden
Vereenvoudig .
Pas de identiteitswet toe op het eerste haakjesdeel
, want EN met waar verandert niets →
Pas de dominantiewet toe op het tweede haakjesdeel
, want EN met onwaar is altijd onwaar →
Pas de identiteitswet nog eens toe
, want OF met onwaar verandert niets →
Antwoord: . De waarde van maakt helemaal niet uit.
Veelgemaakte fouten
schrijven
Waarom het fout is: De wet van De Morgan verandert niet alleen de variabelen, maar ook de operator. Test , : de linkerkant is , de rechterkant .
Correct: Breek de streep en wissel het teken: en .
Regels van de gewone algebra gebruiken, zoals of
Waarom het fout is: Booleaanse variabelen zijn alleen 0 of 1, en is 1, niet 2. Een variabele herhalen voegt niets nieuws toe.
Correct: Gebruik de idempotentiewet: en .
lezen als
Waarom het fout is: EN gaat voor OF, net zoals vermenigvuldigen voor optellen gaat. Met , , is de juiste waarde , maar de verkeerde lezing geeft .
Correct: Zet de haakjes neer voordat je een wet toepast: .
De complementwet toepassen op twee verschillende variabelen, zoals
Waarom het fout is: De complementwet werkt alleen voor een variabele en haar eigen negatie. Met , : , niet 0.
Correct: Zoek dezelfde letter: en , maar kun je niet vereenvoudigen.
Waarom het belangrijk is
- 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
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 gebruikt 3 poorten. Buiten haakjes gehaald, , zijn er maar 2 nodig.
Een chip bevat 1000 kopieën van een schakeling die berekent. Tel één poort voor elke en elke .
Hoeveel poorten bespaart de hele chip als de schakeling vereenvoudigd wordt tot ?
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.
Een programma opent een slagboom als geldt, waarbij betekent dat de bezoeker een pasje heeft en 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.
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: , , ,
- 3De commutatieve, associatieve en distributieve wet verwisselen, hergroeperen en halen buiten haakjes; in de booleaanse algebra is ook OF distributief over EN
- 4Absorptiewetten: en
- 5Wetten van De Morgan: breek de streep en wissel het teken, en
- 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 bij getallen niet gelijk is aan ?
Hoe weet ik welke wet ik daarna moet gebruiken?
Heb ik nog waarheidstabellen nodig als ik de wetten ken?
Kan ik een wet controleren met gewoon rekenen?
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
- 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
- en
- Absorptiewet
- en
Formulekaart
Identiteitswet en dominantiewet
EN met 1 en OF met 0 veranderen niets; EN met 0 en OF met 1 bepalen de uitkomst
Idempotentiewet en complementwet
Een variabele herhalen voegt niets toe; een variabele met haar eigen negatie geeft een constante
Dubbele negatie
Twee NIET-bewerkingen na elkaar heffen elkaar op
Distributieve wetten
Beide gelden in de booleaanse algebra; de tweede werkt niet voor gewone getallen
Absorptiewetten
Het langere deel wordt door $A$ opgeslokt
Wetten van De Morgan
Breek de streep, wissel het teken