Kalkylator för boolesk algebra
Förenkla booleska uttryck steg för steg
Kalkylatorn försöker förenkla/minimera det givna booleska uttrycket, med steg när det är möjligt. Den tillämpar den kommutativa lagen, den distributiva lagen, dominationslagen (noll-/annulleringslagen), identitetslagen, negationslagen, lagen om dubbel negation (involution), idempotenslagen, komplementlagen, absorptionslagen, redundanslagen samt de Morgans lagar. Stöder alla grundläggande logiska operatorer: negation (komplement), och (konjunktion), eller (disjunktion), nand (Shefferstreck), nor (Peirces pil), xor (exklusiv disjunktion), implikation, omvänd implikation, icke-implikation (abjunktion), omvänd icke-implikation, xnor (exklusiv nor, ekvivalens, bikonditional), tautologi (T) och motsägelse (F).
Den hittar också disjunktiv normalform (DNF), konjunktiv normalform (CNF) och negationsnormalform (NNF).
Relaterad kalkylator: Kalkylator för sanningsvärdestabeller