Maakt de volgorde van de rijen uit?

Elke volgorde is goed, zolang elke combinatie precies één keer voorkomt. De standaardvolgorde (beginnend met alles W) maakt het makkelijk om tabellen te controleren en te vergelijken. Sommige boeken beginnen juist met onwaar; de rijen zijn hetzelfde, alleen in omgekeerde volgorde. De interactieve tabellen in deze les gebruiken de standaardvolgorde.

Hoe heet een uitdrukking die geen tautologie en geen contradictie is?

Die heet een **contingentie**: de waarde hangt af van de invoer. De meeste alledaagse uitdrukkingen, zoals $P \land Q$, zijn contingenties.

Heb ik altijd hulpkolommen nodig?

Ze zijn niet verplicht, maar ze voorkomen de meeste fouten. Met oefening kun je kleine stappen in je hoofd samenvoegen, maar bij 3 variabelen of haakjes binnen haakjes zijn hulpkolommen de veiligste manier.

Leermiddelen

Waarheidstabellen

Leer stap voor stap een waarheidstabel opstellen voor een samengestelde uitdrukking en gebruik die om tautologieën, contradicties en equivalente uitdrukkingen te vinden.

Gemiddeld25 minLes

Werkblad om te printen

Definitie

Een waarheidstabel geeft elke mogelijke combinatie van waarheidswaarden van de variabelen in een uitdrukking en laat in elke rij de waarde van de hele uitdrukking zien.

Hoeveel rijen? Elke variabele kan W (waar) of O (onwaar) zijn, dus elke nieuwe variabele verdubbelt het aantal rijen:

\text{rijen} = 2^n \quad (n = \text{aantal variabelen})

2 variabelen hebben dus

2^2 = 4

rijen nodig en 3 variabelen

2^3 = 8

rijen.

Een tabel opstellen in 4 stappen:

1.Tel de variabelen en schrijf $2^n$ lege rijen.
2.Vul de kolommen van de variabelen in een vaste volgorde: de eerste kolom is voor de helft W en dan voor de helft O; elke volgende kolom wisselt twee keer zo vaak; de laatste kolom wisselt W, O, W, O.
3.Voeg voor elk deel van de uitdrukking een hulpkolom toe, het binnenste deel eerst (een NIET bij één variabele, daarna de haakjes).
4.Combineer de hulpkolommen tot de eindkolom.

Voorbeeld:

P \land \neg Q

$P$	$Q$	$\neg Q$	$P \land \neg Q$
W	W	O	O
W	O	W	W
O	W	O	O
O	O	W	O

De eindkolom vertelt alles: deze uitdrukking is in precies één rij waar, namelijk als

P

waar is en

Q

onwaar.

De eindkolom lezen:

Alleen W: de uitdrukking is een tautologie (altijd waar).
Alleen O: het is een contradictie (altijd onwaar).
Twee uitdrukkingen met dezelfde eindkolom in elke rij zijn logisch equivalent.

Probeer het meteen

Hoeveel rijen heeft een waarheidstabel met 3 variabelen?

Uitgewerkte voorbeelden

Stel de waarheidstabel op voor $P \lor \neg Q$ .

Tel de rijen

Er zijn 2 variabelen, $P$ en $Q$ , dus we hebben $2^2 = 4$ rijen nodig → 4 rijen

Vul de kolommen van de variabelen

$P$ : W, W, O, O (half W, half O). $Q$ : W, O, W, O (afwisselend) → Alle 4 combinaties komen één keer voor

Voeg de hulpkolom $\neg Q$ toe

Draai elke waarde van $Q$ om: W, O, W, O wordt O, W, O, W → $\neg Q$ : O, W, O, W

Combineer met OF

Rij voor rij: W OF O = W, W OF W = W, O OF O = O, O OF W = W → $P \lor \neg Q$ : W, W, O, W

Antwoord: De eindkolom is W, W, O, W. De uitdrukking is alleen onwaar in rij 3, waar $P$ onwaar is en $Q$ waar.

Veelgemaakte fouten

Te weinig rijen schrijven, bijvoorbeeld 6 rijen voor 3 variabelen

Waarom het fout is: Het aantal rijen is niet $2 \times n$ . Elke variabele verdubbelt het aantal combinaties, dus 3 variabelen geven $2 \times 2 \times 2 = 8$ rijen.

Correct: Gebruik altijd $2^n$ rijen: 4 voor 2 variabelen, 8 voor 3 variabelen, 16 voor 4 variabelen.

De kolommen van de variabelen in een willekeurige volgorde invullen

Waarom het fout is: Zonder systeem schrijf je makkelijk dezelfde combinatie twee keer op en vergeet je een andere. De tabel geeft dan een verkeerd oordeel.

Correct: Volg het vaste patroon: eerste kolom in blokken van de helft van de rijen, elke volgende kolom in blokken die half zo lang zijn, laatste kolom afwisselend W, O.

$\neg P \land Q$ behandelen alsof het $\neg(P \land Q)$ is

Waarom het fout is: Zonder haakjes hoort NIET alleen bij de variabele direct erna. De versie met haakjes draait de uitkomst van de hele EN om.

Correct: Maak een hulpkolom voor precies datgene waar NIET bij hoort: alleen $\neg P$ , of eerst $P \land Q$ en daarna de ontkenning daarvan.

Twee uitdrukkingen equivalent noemen na het controleren van maar een paar rijen

Waarom het fout is: Twee uitdrukkingen kunnen in meerdere rijen overeenkomen en toch in één rij verschillen. $\neg(P \land Q)$ en $\neg P \land \neg Q$ komen overeen in de rijen 1 en 4, maar niet in de rijen 2 en 3.

Correct: Vergelijk de eindkolommen in elke afzonderlijke rij. Equivalent betekent gelijk in alle $2^n$ rijen.

Interactieve visualisatie

Waarheidstabel

UitdrukkingP ∧ Q ∨ ¬R

P	Q	R	P ∧ Q	¬R	P ∧ Q ∨ ¬R
W	W	W	W	O	W
W	W	O	W	W	W
W	O	W	O	O	O
W	O	O	O	W	W
O	W	W	O	O	O
O	W	O	O	W	W
O	O	W	O	O	O
O	O	O	O	W	W

W= WaarO= Onwaar

Waarheidstabel

UitdrukkingP ∨ ¬Q

P	Q	P ∨ ¬Q
W	W
W	O
O	W
O	O

W= WaarO= Onwaar

Interactieve sandbox

Expressiecalculator

Probeer deze:

Geschiedenis

Nog geen berekeningen

Oefenproblemen

18 opgaven

Opgave 1 van 18

Makkelijk

Hoeveel rijen heeft een waarheidstabel met 3 variabelen?

Waarom het belangrijk is

Een waarheidstabel is de betrouwbaarste manier om een logische uitspraak te controleren, omdat ze geen enkel geval overslaat:

Programmeren: voordat een voorwaarde als (lid OF kortingscode) EN NIET geblokkeerd live gaat, controleren testers elke combinatie van invoer
Elektronica: ingenieurs ontwerpen schakelingen met waarheidstabellen en vervangen een ingewikkelde schakeling door een eenvoudigere, goedkopere die hetzelfde doet
Beveiliging en alarmen: een alarm met 4 sensoren heeft $2^4 = 16$ mogelijke toestanden, en in elke toestand moet het goed reageren
Argumenten en discussies: een waarheidstabel laat zien of twee zinnen echt hetzelfde zeggen of alleen op elkaar lijken
Puzzels en spellen: logische puzzels los je op door rijen te schrappen die niet waar kunnen zijn

Je weet al hoe EN, OF en NIET elk afzonderlijk werken. Met waarheidstabellen kun je ze combineren tot elke uitdrukking en toch zeker zijn van het antwoord.

Toepassingen in de echte wereld

Alarmsystemen

Beveiligingsingenieurs zetten elke toestand van de sensoren op een rij, zodat ze zeker weten dat het alarm in elk geval goed reageert.

Voorbeeld:

Een alarm met 3 deursensoren heeft $2^3 = 8$ toestanden, van alle deuren dicht tot alle deuren open.

1Probeer het zelf

Een huisalarm heeft 4 sensoren, en elke sensor staat aan (W) of uit (O). Het alarm gaat af als minstens één sensor aan staat (OF).

Hoeveel rijen heeft de waarheidstabel, en in hoeveel daarvan gaat het alarm af?

Stap 1: Schrijf de wiskundige uitdrukking

Schrijf het aantal rijen als macht van 2:

Software testen

Programmeurs testen een voorwaarde met elke combinatie van invoer, en dat is precies een waarheidstabel.

Voorbeeld:

Een inlogregel (juist wachtwoord EN NIET geblokkeerd) heeft $2^2 = 4$ testgevallen nodig om volledig gecontroleerd te zijn.

2Probeer het zelf

Een webwinkel geeft korting als $(M \lor C) \land \neg B$ geldt, waarbij $M$ = is lid, $C$ = heeft een kortingscode, $B$ = account is geblokkeerd.

Bij hoeveel van de invoercombinaties krijgt de klant de korting?

Stap 1: Schrijf de wiskundige uitdrukking

Schrijf het aantal testgevallen als macht van 2:

Schakelingen vereenvoudigen

Als twee schakelingen dezelfde waarheidstabel hebben, kunnen ingenieurs de schakeling met minder of goedkopere onderdelen gebruiken.

Voorbeeld:

Met de wetten van De Morgan kan een ontwerper een NIET-EN vervangen door een OF van twee keer NIET, zonder te veranderen wat de schakeling doet.

3Probeer het zelf

Schakeling A berekent $\neg(P \lor Q)$ . Schakeling B berekent $\neg P \land \neg Q$ .

Geven de twee schakelingen altijd dezelfde uitvoer?

Stap 1: Schrijf de wiskundige uitdrukking

Schrijf het aantal rijen als macht van 2:

Belangrijke punten

1Een waarheidstabel geeft elke combinatie van waarheidswaarden en de waarde van de uitdrukking in elke rij
2Met $n$ variabelen heeft de tabel $2^n$ rijen: 4 bij 2 variabelen, 8 bij 3 variabelen
3Vul de kolommen van de variabelen in een vaste volgorde: eerst blokken van de helft van de rijen, de laatste kolom afwisselend W, O
4Gebruik hulpkolommen voor elk deel van de uitdrukking, het binnenste deel eerst
5Alleen W in de eindkolom betekent een tautologie, alleen O betekent een contradictie
6Twee uitdrukkingen zijn equivalent als hun eindkolommen in elke rij overeenkomen

Veelgestelde vragen

Elke bestaande rij kun je voortzetten met de nieuwe variabele op W of op O. Elke rij splitst zich dus in tweeën: 2 rijen worden 4, 4 worden 8, enzovoort, en dat geeft

2^n

Woordenlijst

Waarheidstabel: Een tabel die de waarde van een uitdrukking geeft voor elke combinatie van de variabelen
Samengestelde uitdrukking: Een uitdrukking opgebouwd uit variabelen en operatoren, zoals $(P \land Q) \lor \neg R$
Hulpkolom: Een extra kolom voor één deel van de uitdrukking, waarmee je de eindkolom stap voor stap opbouwt
Tautologie: Een uitdrukking die in elke rij waar is, zoals $P \lor \neg P$
Contradictie: Een uitdrukking die in elke rij onwaar is, zoals $P \land \neg P$
Logisch equivalent: Twee uitdrukkingen met dezelfde waarde in elke rij, genoteerd met $\equiv$

Formulekaart

Aantal rijen

\text{rijen} = 2^n

$n$ is het aantal variabelen: $2^2 = 4$, $2^3 = 8$, $2^4 = 16$

Tautologie

P \lor \neg P

Altijd waar: de eindkolom bevat alleen W

Contradictie

P \land \neg P

Altijd onwaar: de eindkolom bevat alleen O

Wetten van De Morgan

\neg(P \land Q) \equiv \neg P \lor \neg Q, \quad \neg(P \lor Q) \equiv \neg P \land \neg Q

Twee equivalenties die je met een waarheidstabel kunt bewijzen

Meer over dit onderwerp

Definitie

Uitgewerkte voorbeelden

Veelgemaakte fouten

Interactieve visualisatie

Waarheidstabel

Waarheidstabel

Interactieve sandbox

Expressiecalculator

Geschiedenis

Oefenproblemen

Waarom het belangrijk is

Toepassingen in de echte wereld

Alarmsystemen

Software testen

Schakelingen vereenvoudigen

Belangrijke punten

Veelgestelde vragen

Woordenlijst

Formulekaart

Aantal rijen

Tautologie

Contradictie

Wetten van De Morgan

Meer over dit onderwerp

Introductie tot Booleaanse logica

Ware en onware uitspraken

De EN-operatie

De OF-bewerking