Sandhedstabel til logisk udtryk

Hvad gør værktøjet?

Dette værktøj hjælper dig med at omsætte en sandhedstabel til et logisk udtryk. Du angiver variablerne og de rækker (minterm-indeks) hvor output er 1, og værktøjet konstruerer et udtryk i kanonisk DNF.

Eksempel med to variabler

Antag variablerne A og B. Hvis du vil have output 1 for rækkerne 1 og 2 (binært: 01 og 10), så indtaster du minterm-indeksene 1,2. Det resulterende udtryk bliver:

(!A && B) || (A && !B)

Dette svarer til XOR-funktionen.

Vigtige detaljer

• Den første variabel er den mest betydende bit i minterm-indekset.
• Duplikerede minterm-indeks fjernes automatisk.
• Hvis du ikke angiver nogen minterm, returneres false (funktionen er 0 for alle input).
• Outputtet er ikke minimeret; hver valgt række giver et fuldt minterm med alle variabler.
• Værktøjet understøtter ikke don't-care-betingelser, CNF/POS-form, gate-tegning eller import af tabelformede sandhedstabeller.

Begrænsninger

Værktøjet minimerer ikke udtrykket. Hvis du har brug for et minimeret udtryk, skal du bruge K-map-værktøjet.

Ofte stillede spørgsmål

Hvordan angiver jeg variabler?

Indtast op til 6 unikke ASCII-identifikatorer adskilt af kommaer, f.eks. A,B,C. De bruges i den rækkefølge, du angiver, hvor den første er mest betydende.

Hvad sker der, hvis jeg indtaster et ugyldigt minterm-indeks?

Indeks skal være mellem 0 og 2^n-1, hvor n er antallet af variabler. Ugyldige indeks accepteres ikke.

Kan jeg få et minimeret udtryk?

Nej, dette værktøj giver kun kanonisk DNF. Brug K-map-værktøjet til minimering.

Gentagne mintermindekser tælles kun én gang, i den rækkefølge de først forekommer. AND, OR, NOT, true og false er reserverede navne uanset store og små bogstaver. Hvert inputfelt accepterer højst 500.000 UTF-16-kodeenheder; samme grænse gælder for det genererede udtryk. Brug korte navne, da hver valgt række gentager alle variabler. Udtrykket minimeres ikke. K-map-værktøjet på denne side understøtter højst fire variabler.