Softonic

Booleaanse algebra vereenvoudiger

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

Typ een Booleaanse expressie zoals A & B | (!A & B) en deze tool evalueert hem voor elke combinatie van zijn variabelen en geeft de volledige waarheidstabel terug, met een kolom per variabele en een laatste uitvoerkolom. Hij ondersteunt maximaal vijf variabelen en de operators & (AND), | (OR), ! (NOT) en ^ (XOR). Gebruik de gegenereerde tabel om een handmatige vereenvoudiging te controleren of om logica die je schrijft te debuggen.

Zo ontstaat de waarheidstabel

  1. 1

    Voer de expressie in

    Typ je expressie met één hoofdletter per variabele en de symbolen & (AND), | (OR), ! (NOT), ^ (XOR) en haakjes, bijvoorbeeld `A & B | (!A & B)`.

  2. 2

    Variabelen worden herkend

    Elke losse hoofdletter telt als een variabele, maximaal vijf in totaal. De tabel krijgt een kolom per variabele, dus vijf variabelen geven 32 rijen.

  3. 3

    Elke combinatie wordt geëvalueerd

    De expressie wordt één keer per rij geëvalueerd, van alle variabelen 0 tot allemaal 1, met de volgorde NOT, dan XOR, dan AND, dan OR. Haakjes gaan er altijd boven.

  4. 4

    Controleer de uitvoerkolom

    De laatste kolom toont de waarde van de hele expressie voor die rij. Vergelijk hem met je eigen tabel of een vereenvoudigde vorm om te controleren dat ze overeenkomen.

Operators en volgorde

Bewerking Symbool Voorbeeld
AND & A & B
OR | A | B
NOT ! !A
XOR ^ A ^ B
Haakjes ( ) (A & B) | C

De expressie wordt geëvalueerd van de sterkst bindende naar de zwakst bindende operator: NOT, XOR, AND, OR. Haakjes winnen altijd. Blijf bij de vier symbolen hierboven, symbolen zoals · of + worden niet herkend en geven stilletjes een verkeerde tabel.

Voorbeeld

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

Waarheidstabel:

A B Uitvoer
0 0 0
0 1 1
1 0 0
1 1 1

De uitvoerkolom komt overeen met gewoon B. Dat is het soort identiteit dat je in een paar seconden controleert: vereenvoudig met de hand en vergelijk daarna de kolommen.

Waarom een volledige waarheidstabel helpt

  • Een vereenvoudiging controleren: vereenvoudig de expressie met de hand en bevestig dat je vereenvoudigde vorm dezelfde uitvoerkolom heeft.
  • Logica debuggen: vind de rij waar je expressie afwijkt van wat je verwacht.
  • De operators leren: zie hoe NOT, XOR, AND en OR samenspelen zonder elke rij met de hand uit te rekenen.

Grenzen

  • Maximaal vijf variabelen: de tabel toont elke combinatie, tot 32 rijen. Bij meer dan vijf variabelen wordt de tabel niet getoond, dus splits de expressie in kleinere delen.
  • Losse hoofdletters: alleen de letters A tot en met Z tellen als variabelen; kleine letters en andere tekens worden genegeerd.

Veelgestelde vragen

Nee. Hij evalueert je expressie en bouwt de volledige waarheidstabel, één rij per combinatie van zijn variabelen (maximaal vijf). Gebruik de tabel om een eigen vereenvoudiging te controleren: als je vereenvoudigde vorm dezelfde uitvoerkolom oplevert, zijn beide gelijkwaardig.

Maximaal vijf, wat hoogstens 32 rijen oplevert. Variabelen zijn losse hoofdletters zoals A, B en C. Voor meer variabelen splits je de expressie in kleinere delen.

& (AND), | (OR), ! (NOT) vóór zijn operand, ^ (XOR) en haakjes. De volgorde van sterkst naar zwakst bindend is NOT, XOR, AND, OR. Symbolen zoals · of + worden niet ondersteund en kunnen stilletjes een verkeerde tabel opleveren.

Nee. Deze tool accepteert alleen een expressie. Als je functie door een waarheidstabel is gedefinieerd, typ dan de expressie die hem oplevert en vergelijk de gegenereerde tabel.

Gerelateerde tools

ASCII-tabelreferentie

Volledige ASCII-tabel van 0 tot 127 met decimale, hexadecimale, octale en binaire waarden en HTML-numerieke referentienotatie, inclusief control codes zoals NUL, LF en DEL.

HTML-tekenreferentie

Een doorzoekbare lijst met HTML-entiteiten, hun benoemde en numerieke codes, plus kopiëren met één klik voor speciale tekens en symbolen.

Sneltoetsenoverzicht

Zoek gedocumenteerde standaardsneltoetsen voor VS Code, Chrome en Bash met GNU Readline op macOS, Windows en Linux.

EditorConfig-generator

Genereer een .editorconfig-bestand met uw regels voor inspringstijl en -grootte, regeleinde, tekenset en witruimte voor consistente opmaak in alle IDE's en editors.

E-mailvalidator

Valideer een e-mailadres: RFC 5322-syntaxcontrole, live MX-record-zoekopdracht, plus details over lokaal deel, domein en lengte. Er wordt geen e-mail verstuurd.

ASCII naar binair-converter

Converteer elke ASCII-string naar zijn binaire representatie. Elk teken wordt acht bits, gescheiden door spaties, klaar voor protocoltrace of huiswerk.

Tool beschikbaar in andere talen