Boolsk udtrykskonverter

Forstå outputtet med et konkret eksempel

Lad os tage udtrykket A && (B || !C). Dette udtryk er sandt, når A er sand, og enten B er sand eller C er falsk. Sandhedstabellen har 8 rækker (2^3), og de sande rækker er dem, hvor A=1 og (B=1 eller C=0): nærmere bestemt rækkerne 100, 110 og 111 (hvor rækkefølgen er A, B, C).

DNF (sum af mintermer) starter med (A && !B && !C) || (A && B && !C) || (A && B && C). CNF (produkt af maxtermer) er den tilsvarende konjunktive form, som angiver de rækker, hvor udtrykket er falsk.

Vigtige funktioner og begrænsninger

• Understøtter op til 6 forskellige variabler – mere giver en fejl.
• Accepterer kun booleske konstanter true/false (case-insensitive) og operatorerne NOT, AND, OR. Ingen XOR, implikation eller ækvivalens.
• Variabelnavne er case-sensitive, men operatorer og konstanter er ikke.
• Parseren afviser ugyldige tegn og uafbalancerede parenteser.
• Hele behandlingen foregår lokalt i browseren; der sendes ingen data til nogen server.

Ofte stillede spørgsmål

Hvordan angiver jeg negation i udtrykket?

Du kan bruge udråbstegn (!) eller ordet NOT (case-insensitive). For eksempel er !A og NOT A begge gyldige.

Hvorfor får jeg en fejl, når jeg bruger XOR?

Værktøjet understøtter kun operatorerne NOT, AND og OR. XOR, implikation og ækvivalens er ikke implementeret. Du kan omskrive sådanne udtryk ved hjælp af de grundlæggende operatorer.

Kan jeg bruge tal som 0 og 1 i stedet for true/false?

Nej, kun konstanterne true og false accepteres. Numeriske konstanter som 0/1 understøttes ikke.