Waarheidstabel naar logische expressie

Werking en voorbeeld

Deze tool zet een waarheidstabel om naar een logische expressie in canonieke disjunctieve normaalvorm (DNF). U specificeert de variabelen en de mintermen (rijen met uitkomst 1). De eerste variabele is de meest significante bit van de minterm-index.

Concreet voorbeeld

Stel u wilt de XOR-functie voor twee variabelen A en B weergeven. De waarheidstabel heeft uitkomst 1 bij de rijen met indices 1 (A=0, B=1) en 2 (A=1, B=0). Voer A,B in als variabelen en 1,2 als mintermen. De tool genereert dan (!A && B) || (A && !B).

Belangrijke kenmerken

• Ondersteunt 1 tot en met 6 variabelen.
• Verwijdert dubbele minterm-indices.
• Een lege mintermenlijst resulteert in false (de functie is overal 0).
• De uitvoer is altijd canonieke DNF: elke geselecteerde rij levert een volledige minterm met alle variabelen.
• De tool minimaliseert niet, accepteert geen don't-care rijen, genereert geen CNF/POS, tekent geen poorten en importeert geen tabelvormige waarheidstabel.

Beperkingen

Gebruik de K-map-tool als u een geminimaliseerde expressie nodig heeft. Deze tool is bedoeld voor educatieve doeleinden en eenvoudige logische ontwerpen.

Veelgestelde vragen

1. Wat gebeurt er als ik een minterm-index buiten het bereik invoer?

De tool accepteert alleen geldige indices van 0 tot en met 2^aantalVariabelen - 1. Ongeldige invoer wordt niet verwerkt; zorg dat u het juiste bereik gebruikt.

2. Kan ik meer dan 6 variabelen gebruiken?

Nee, de tool ondersteunt maximaal 6 variabelen. Voor meer variabelen is een andere aanpak nodig.

3. Waarom is de uitdrukking niet geminimaliseerd?

De tool genereert altijd de canonieke DNF, die elke geselecteerde rij als een volledige minterm weergeeft. Minimalisatie is niet geïmplementeerd; gebruik hiervoor de K-map-tool.