Booleaanse algebra vereenvoudiger

Gebruik A, B, C... voor variabelen. Operators: & (EN), | (OF), ! (NIET), ^ (XOR), ( )

Geef een Booleaanse uitdrukking — A·B + A·¬B + ¬A·B of een waarheidstabel met minterms — en deze vereenvoudiger geeft de minimale sum-of-products-vorm terug met het Quine-McCluskey-algoritme, plus een Karnaugh-kaartvisualisatie voor maximaal zes variabelen. Hij toont elke stap (prime implicants, essential prime implicants, de dekkingstabel), dus hij is niet alleen nuttig voor huiswerk maar ook om te auditen wat een minimizer in je synthesistool heeft gekozen.

Hoe Booleaanse vereenvoudiging draait

  1. 1

    Voer de uitdrukking of minterms in

    Gebruik operators · (AND), + (OR), ' of ¬ (NOT), ⊕ (XOR). Of plak minterm-indexen zoals m(0,1,3,7).

  2. 2

    De waarheidstabel wordt gegenereerd

    Elke variabele toewijzing wordt geëvalueerd en de functie-uitvoer wordt in een tabel gezet.

  3. 3

    Quine-McCluskey vindt prime implicants

    Minterms worden gegroepeerd en iteratief gecombineerd. Aangrenzende groepen (met verschil in één variabele) worden samengevoegd tot er geen reducties meer mogelijk zijn.

  4. 4

    Essentiële implicants dekken de functie

    Een dekkingstabel met de methode van Petrick kiest de minimale set prime implicants. Het resultaat is de vereenvoudigde SOP. De POS-vorm wordt afgeleid uit het complement.

Ondersteunde operatornotatie

Bewerking Geaccepteerde symbolen
AND ·, *, &, , spatie
OR +, |,
NOT \', ¬, !, ~, bovenstreep (A met bovenstreep rendert als A\')
XOR , ^
Constanten 0, 1

Voorbeeld

Invoer: A·B + A·¬B + ¬A·B

Waarheidstabel:

A B F
0 0 0
0 1 1
1 0 1
1 1 1

Minterms: m(1, 2, 3). De minimale SOP reduceert naar A + B (OR van de twee variabelen). De vereenvoudiger loopt door:

  1. Groepeer minterms op aantal 1’en
  2. Combineer aangrenzende paren: (1,3) → -B, (2,3) → A-
  3. De dekkingstabel toont dat beide essentieel zijn — finale vorm: A + B

Waarom minimaliseren

  • Minder poorten: elke AND/OR-term kost silicium of FPGA-LUTs.
  • Korter kritiek pad: kleinere logica betekent meestal lagere propagatievertraging.
  • Lager vermogen: minder schakelende nodes.

Algoritmelimieten

  • Aantal variabelen: Quine-McCluskey schaalt in het slechtste geval als O(3^n / n). De tool verwerkt tot 8 variabelen comfortabel; daarboven gebruik je Espresso-achtige heuristische minimizers (je krijgt geen gegarandeerde minimaliteit, maar het is wel haalbaar).
  • Don’t-care-termen: voeg ze toe met d(indices)-syntax om kleinere resultaten te krijgen wanneer sommige invoercombinaties niet kunnen voorkomen.

Veelgestelde vragen

Sum-of-products is OR-van-ANDs (zoals AB + CD); product-of-sums is AND-van-ORs (zoals (A+B)(C+D)). Zelfde functie, andere structuur. De vereenvoudiger geeft beide terug — kies wat het best past bij je downstream tool.

Ja. Voer ze in als d(index1, index2, ...) naast de minterms. De minimizer behandelt ze als “vrij” om de waarde te kiezen die het kleinere resultaat geeft.

Beide leveren minimale kosten op als je correct kiest, maar K-maps hangen af van of de persoon de grootst mogelijke groepen ziet. Quine-McCluskey is deterministisch en vindt altijd een optimum.

XOR wordt vóór minimalisatie uitgebreid naar AND/OR/NOT. Je krijgt een equivalente SOP, maar de XOR-structuur gaat verloren. Voor XOR-behoudende optimalisatie is een ander algoritme nodig (Reed-Muller).

Gerelateerde tools