|
|
|
|
|
|
|
|
|
|
|
|
Kalkylatorer - Diskret matematik
Hittade du inte kalkylatorn du behöver? Begär det
Kalkylator för sanningsvärdestabeller
Kalkylatorn genererar sanningsvärdestabellen för den givna logiska formeln/uttrycket. Stöder alla grundläggande logiska operatorer: negation (komplement), och (konjunktion), eller (disjunktion), nand (Shefferstreck), nor (Peirces pil), xor (exklusiv disjunktion), implikation, implikationens konvers, icke-implikation (abjunktion), icke-implikationens konvers, xnor (exklusiv nor, ekvivalens, bikonditional), tautologi (T) och kontradiktion (F).
Kalkylator för boolesk algebra
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).
Kalkylator för kombinationer och permutationer
Kalkylatorn beräknar antalet permutationer/kombinationer, med/utan upprepning, givet det totala antalet objekt och antalet objekt som ska väljas. Den genererar också listan över r-kombinationer (r-permutationer) utifrån den givna listan, med visade steg.