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.
Definitie
| Wet | EN-vorm | OF-vorm |
|---|---|---|
| Identiteitswet | ||
| Dominantiewet | ||
| Idempotentiewet | ||
| Complementwet | ||
| Dubbele negatie | (maar één vorm) | |
| Commutatieve wet | ||
| Associatieve wet | ||
| Distributieve wet | ||
| Absorptiewet | ||
| De Morgan |
Probeer het meteen
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.
Interactieve visualisatie
Waarheidstabel
| A | B | A ∧ B | ¬B | A ∧ ¬B | A ∧ B ∨ A ∧ ¬B |
|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 0 | 0 |
| 0 | 1 | 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 1 | 1 | 1 |
| 1 | 1 | 1 | 0 | 0 | 1 |
1= Waar0= Onwaar
Waarheidstabel
| A | B | A ∧ B |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
1= Waar0= Onwaar
Interactieve sandbox
Expressiecalculator
Probeer deze:
Geschiedenis
Nog geen berekeningen
Oefenproblemen
18 opgavenWelke wet zegt dat ?
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
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