Online Booleaanse expressie-omzetter
Zet uw Booleaanse expressie om in een waarheidstabel en canonieke DNF/CNF. Ondersteunt NOT, AND, OR en haakjes. Maximaal 6 variabelen. De verwerking gebeurt…
Aan de slag
Waarheidstabellen en canonieke vormen genereren
Deze tool zet een Booleaanse expressie om in een complete waarheidstabel en de twee canonieke normaalvormen. U voert een expressie in zoals A && (B || !C) en de tool berekent alle mogelijke combinaties van de variabelen.
Voorbeeld: A && (B || !C)
Voor deze expressie zijn de waar rijen 100, 110 en 111 (waarbij A, B, C in die volgorde staan). De DNF begint met (A && !B && !C) || (A && B && !C) || (A && B && C).
Operatorprioriteit en syntax
De tool gebruikt de standaardprioriteit: NOT eerst, dan AND, dan OR. Een speciale tokenizer en recursieve parser evalueren de expressie; de tool gebruikt geen eval en voert geen code uit. Ongeldige tekens, syntaxfouten en ongebalanceerde haakjes worden afgewezen.
Beperkingen
De tool ondersteunt maximaal zes variabelen, wat resulteert in maximaal 64 rijen. XOR, implicatie, equivalentie, numerieke 0/1-constanten en circuitlezingen worden niet ondersteund.
Veelgestelde vragen
1. Waarom krijg ik een foutmelding bij meer dan zes variabelen?
De tool accepteert maximaal zes verschillende variabelen om de waarheidstabel overzichtelijk te houden. Bij meer dan zes variabelen wordt een fout gegenereerd in plaats van dat latere variabelen stilzwijgend als false worden behandeld.
2. Zijn de DNF en CNF vereenvoudigd?
Nee, de tool geeft de canonieke vormen zonder algebraïsche minimalisatie. Voor vereenvoudiging kunt u de aparte Karnaugh-kaart-tool gebruiken.
3. Kan ik hoofdletters en kleine letters door elkaar gebruiken?
Variabelenamen zijn hoofdlettergevoelig, dus A en a worden als verschillende variabelen beschouwd. Operatoren en constanten (NOT, AND, OR, true, false) zijn hoofdletterongevoelig.
Controlelijst voor correct gebruik
- Gebruik alleen toegestane tekens: letters, cijfers (alleen in variabelenamen? Nee, alleen letters), haakjes, spaties en de operatoren.
- Vermijd XOR, implicatie en equivalentie; deze worden niet ondersteund.
- Controleer of alle haakjes in evenwicht zijn.
- Beperk het aantal variabelen tot zes.
- Weet dat de uitvoer lokaal wordt gegenereerd; er worden geen gegevens naar een server verzonden.
De verwerking gebeurt lokaal in je browser.