Rekenmachine voor Booleaanse algebra
Vereenvoudig Booleaanse uitdrukkingen stap voor stap
De rekenmachine zal proberen de gegeven Booleaanse uitdrukking te vereenvoudigen/minimaliseren, met stappen waar mogelijk. Past de commutativiteitswet, distributiviteitswet, dominantiewet (nul-/annuleringswet), identiteitswet, negatiewet, wet van dubbele negatie (involutiewet), idempotentiewet, complementwet, absorptiewet, redundantiewet en de stelling van De Morgan toe. Ondersteunt alle basislogische operatoren: negatie (complement), en (conjunctie), of (disjunctie), nand (Sheffer-streep), nor (Peirce-pijl), xor (exclusieve disjunctie), implicatie, omgekeerde implicatie, niet-implicatie (abjunctie), omgekeerde niet-implicatie, xnor (exclusieve nor, equivalentie, biconditioneel), tautologie (T) en contradictie (F).
Het bepaalt ook de disjunctieve normale vorm (DNF), conjunctieve normale vorm (CNF) en negatie-normale vorm (NNF).
Gerelateerde rekenmachine: Waarheidstabel-rekenmachine