Boolen algebran laskin
Yksinkertaista Boolen lausekkeita vaiheittain
Laskin yrittää yksinkertaistaa/minimoida annetun boolen lausekkeen, mahdollisuuksien mukaan vaiheittain. Soveltaa kommutatiivisuuslakia, distributiivisuuslakia, dominaatiolakia (nolla-/annulointilakia), identiteettilakia, negaatiolakia, kaksoisnegaation (involuution) lakia, idempotenssilakia, komplementtilakia, absorptiolakia, redundanssilakia sekä De Morganin lakia. Tukee kaikkia perusloogisia operaattoreita: negaatio (komplementti), and (konjunktio), or (disjunktio), nand (Shefferin viiva), nor (Peircen nuoli), xor (poissulkeva disjunktio), implikaatio, käänteinen implikaatio, ei-implikaatio (abjunktio), käänteinen ei-implikaatio, xnor (poissulkeva nor, ekvivalenssi, bikonditionaali), tautologia (T) ja kontradiktio (F).
Se löytää myös disjunktiivisen normaalimuodon (DNF), konjunktiivisen normaalimuodon (CNF) ja negaation normaalimuodon (NNF).
Aiheeseen liittyvä laskin: Totuustaululaskin