Rechner - Diskrete Mathematik
Haben Sie den benötigten Rechner nicht gefunden? Anfordern
Wahrheitstabellenrechner
Der Rechner erzeugt die Wahrheitstabelle für die angegebene logische Formel bzw. den logischen Ausdruck. Unterstützt werden alle grundlegenden logischen Operatoren: Negation (Komplement), und (Konjunktion), oder (Disjunktion), nand (Sheffer-Strich), nor (Peirce-Pfeil), xor (exklusive Disjunktion), Implikation, Konverse der Implikation, Nichtimplikation (Abjunction), konverse Nichtimplikation, xnor (exklusives nor, Äquivalenz, Bikonditional), Tautologie (T) und Kontradiktion (F).
Rechner für Boolesche Algebra
Der Rechner versucht, den gegebenen booleschen Ausdruck zu vereinfachen/minimieren, mit Lösungsschritten, wenn möglich. Er wendet das Kommutativgesetz, Distributivgesetz, Dominanzgesetz (Null- bzw. Vernichtungsgesetz), Identitätsgesetz, Negationsgesetz, Gesetz der doppelten Negation (Involutionsgesetz), Idempotenzgesetz, Komplementgesetz, Absorptionsgesetz, Redundanzgesetz sowie das de-Morgan-Theorem an. Unterstützt werden alle grundlegenden logischen Operatoren: Negation (Komplement), und (Konjunktion), oder (Disjunktion), nand (Sheffer-Strich), nor (Peirce-Pfeil), xor (exklusive Disjunktion), Implikation, Konverse der Implikation, Nichtimplikation (Abjunktion), konverse Nichtimplikation, xnor (exklusives nor, Äquivalenz, Bikonditional), Tautologie (T) und Kontradiktion (F).
Es ermittelt außerdem die disjunktive Normalform (DNF), die konjunktive Normalform (CNF) und die Negationsnormalform (NNF).
Rechner für Kombinationen und Permutationen
Der Rechner berechnet die Anzahl der Permutationen/Kombinationen, mit und ohne Wiederholungen, aus der Gesamtzahl der Objekte und der Anzahl der auszuwählenden Objekte. Außerdem erzeugt er die Liste der r-Kombinationen (r-Permutationen) aus der vorgegebenen Liste, mit angezeigten Rechenschritten.