Rekenmachines - Discrete wiskunde

Waarheidstabel-rekenmachine

De rekenmachine genereert de waarheidstabel voor de gegeven logische formule/expressie. Ondersteunt alle basisoperatoren van de logica: 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).

Rekenmachine voor Booleaanse algebra

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).

Rekenmachine voor combinaties en permutaties

De rekenmachine bepaalt het aantal permutaties/combinaties, met/zonder herhalingen, gegeven het totale aantal objecten en het aantal te kiezen objecten. Ze genereert ook de lijst met r-combinaties (r-permutaties) uit de gegeven lijst, waarbij de stappen worden getoond.