Laskurit - Diskreetti matematiikka

Totuustaululaskin

Laskin muodostaa annetulle loogiselle kaavalle tai lausekkeelle totuustaulun. Se tukee kaikkia perusloogisia operaattoreita: negaatio (komplementti), ja (konjunktio), tai (disjunktio), nand (Shefferin viiva), nor (Peircen nuoli), xor (eksklusiivinen disjunktio), implikaatio, käänteinen implikaatio, ei-implikaatio (abjunktio), käänteinen ei-implikaatio, xnor (eksklusiivinen nor, ekvivalenssi, bikonditionaali), tautologia (T) ja ristiriita (F).

Boolen algebran laskin

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

Yhdistelmien ja permutaatioiden laskin

Laskin laskee permutaatioiden/kombinaatioiden lukumäärän, toistoilla tai ilman toistoja, kun annetaan alkioiden kokonaismäärä ja valittavien alkioiden määrä. Se muodostaa myös annetusta listasta r-kombinaatioiden (r-permutaatioiden) luettelon ja näyttää vaiheet.