Softonic

Förenklare för boolesk algebra

Steg 1 / 3
Använd A, B, C... för variabler. Operatorer: & (AND), | (OR), ! (NOT), ^ (XOR), ( )
Nästa

Skriv in ett booleskt uttryck som A & B | (!A & B) så utvärderar verktyget det för varje kombination av variablerna och returnerar den fullständiga sanningstabellen med en kolumn per variabel och en avslutande utdatakolumn. Det stöder upp till fem variabler och operatorerna & (AND), | (OR), ! (NOT) och ^ (XOR). Använd tabellen för att kontrollera en förenkling du gjort för hand eller för att felsöka logik du skriver.

Så skapas sanningstabellen

  1. 1

    Ange uttrycket

    Skriv uttrycket med en versal per variabel och symbolerna & (AND), | (OR), ! (NOT), ^ (XOR) och parenteser, till exempel `A & B | (!A & B)`.

  2. 2

    Variablerna identifieras

    Varje enskild versal räknas som en variabel, upp till fem totalt. Tabellen får en kolumn per variabel, så fem variabler ger 32 rader.

  3. 3

    Varje kombination utvärderas

    Uttrycket utvärderas en gång per rad, från alla variabler 0 till alla 1, med prioriteten NOT, sedan XOR, sedan AND, sedan OR. Parenteser går före.

  4. 4

    Kontrollera utdatakolumnen

    Den sista kolumnen visar hela uttryckets värde för den raden. Jämför med din egen tabell eller en förenklad form för att verifiera att de stämmer överens.

Operatorer och prioritet

Operation Symbol Exempel
AND & A & B
OR | A | B
NOT ! !A
XOR ^ A ^ B
Parenteser ( ) (A & B) | C

Uttrycket utvärderas från den starkast bindande operatorn till den svagaste: NOT, XOR, AND, OR. Parenteser vinner alltid. Håll dig till de fyra symbolerna ovan, symboler som · eller + känns inte igen och ger tyst en felaktig tabell.

Exempel

Indata: A & B | (!A & B)

Sanningstabell:

A B Utdata
0 0 0
0 1 1
1 0 0
1 1 1

Utdatakolumnen motsvarar ett rent B. Det är den typen av identitet som du kontrollerar på några sekunder: förenkla för hand och jämför sedan kolumnerna.

Varför en fullständig sanningstabell hjälper

  • Verifiera en förenkling: förenkla uttrycket för hand och bekräfta att din förenklade form har samma utdatakolumn.
  • Felsöka logik: hitta raden där uttrycket inte matchar dina förväntningar.
  • Lära sig operatorerna: se hur NOT, XOR, AND och OR kombineras utan att beräkna varje rad för hand.

Gränser

  • Högst fem variabler: tabellen visar varje kombination, upp till 32 rader. Fler än fem variabler ger ingen tabell, så dela upp uttrycket i mindre delar.
  • Enskilda versaler: bara bokstäverna A till Z räknas som variabler; gemener och andra tecken ignoreras.

Vanliga frågor

Nej. Det utvärderar uttrycket och bygger den fullständiga sanningstabellen, en rad per kombination av variablerna (upp till fem). Använd tabellen för att verifiera en egen förenkling: om din förenklade form ger samma utdatakolumn är uttrycken ekvivalenta.

Upp till fem, vilket ger högst 32 rader. Variabler är enskilda versaler som A, B och C. För fler variabler, dela upp uttrycket i mindre delar.

& (AND), | (OR), ! (NOT) före sin operand, ^ (XOR) och parenteser. Prioriteten från starkast till svagast bindande är NOT, XOR, AND, OR. Symboler som · eller + stöds inte och kan tyst ge en felaktig tabell.

Nej. Verktyget tar bara emot ett uttryck. Om funktionen definieras av en sanningstabell, skriv uttrycket som ger den och jämför den genererade tabellen.

Relaterade verktyg

ASCII-tabellreferens

Full ASCII-tabell från 0 till 127 med decimal-, hex-, oktal- och binärvärden samt notation för numeriska HTML-referenser, inklusive NUL, LF och DEL.

HTML-teckenreferens

En sökbar lista över HTML-entiteter med deras namngivna och numeriska koder samt kopiering med ett klick för specialtecken och symboler.

Referens för kortkommandon

Sök dokumenterade standardkommandon för VS Code, Chrome och Bash med GNU Readline i macOS, Windows och Linux.

Slumpgenerator för bokstäver

Generera slumpade A-Z-bokstäver. Välj antal, versaler, gemener eller blandat läge och använd resultatet för spel, uppgifter eller klassrumsaktiviteter.

HTML-formaterare

Formatera HTML lokalt i webbläsaren med indrag på två eller fyra blanksteg. HTML laddas inte upp eller valideras.

Färgpalettgenerator

Skapa monokromatiska, analoga, komplementära, triadiska eller tetradiska färgpaletter från en HEX-basfärg och exportera kopieringsklara CSS-variabler.

Verktyget finns på andra språk