Sandhedstabel

Generer sandhedstabel ud fra udtryk involverende logiske operatorer. De logiske operatorer og deres respektive symboler findes i øverste tabel til venstre. Symbolerne for operatorerne kan skrives både med store og små bogstaver, og operander i udtryk kan bestå af alle bogstaver A-Z både store og små. Symbolet i parentesen ud for hver logisk operator er det matematiske symbol for operatoren og vil fremgå på den genererede sandhedstabel. Alle operatorer er venstre associative bortset fra NOT operatoren som er højre associativ. Præcedens niveauer for de forskellige operatorer ses i nederste tabel, hvor 1 har højeste prioritet og 5 lavest. Regler for præcedens kan omgås ved brug af parenteser.
Logiske operatorer
Logisk konnektivSymbol
NegationNOT (¬)
KonjuktionAND (∧)
Alternativ afvisningNAND (|)
DisjunktionOR (∨)
Ekslusiv disjunktionXOR (⊕)
Gensidig afvisningNOR (↓)
ImplikationIMPLY (→)
BiimplikationXNOR (↔)
Præcedens for operatorer
Logisk konnektivPræcedens
NOT1
AND, NAND2
OR, XOR, NOR3
IMPLY4
XNOR5