Rechner für Aussagenmathematik und Logik
Logic Calculator Free ist eine App, die den Wahrheitswert eines logischen Satzes auf zwei verschiedene Arten angibt: Sie können den einzelnen Wahrheitswert der Variablen eingeben, um einen einzelnen Wahrheitswert wahr oder falsch zu liefern, der dem gesamten Satz entspricht, oder Sie können den logischen Satz eingeben und es wird automatisch eine Wahrheitstabelle mit allen möglichen Kombinationen angezeigt, abhängig von der Anzahl der verwendeten Variablen. In diesem Fall kann das Ergebnis eine Tautologie, eine Kontingenz oder ein Widerspruch sein.
Der Rechner verfügt außerdem über einen Vergleichsmodus. Es vergleicht bis zu drei Vorschläge, um ihre Äquivalenz zu überprüfen. Nach der Verifizierung wird automatisch die Wahrheitstabelle des Vergleichs erstellt.
Unterstützte Operationen: AND, NAND, OR, NOR, XOR, IMPLICATION, BICONDITIONAL.
- Bis zu 6 Variablen in dieser kostenlosen Version verfügbar (64 mögliche Kombinationen).
- Syntaxfehler markiert, um sie leichter zu finden.
- Tastaturanpassung.
- Verschachtelte Klammern, eckige Klammern und Schlüsselklammern für komplexe Berechnungen.
- Schritt-für-Schritt-Demonstration.
- Liste der zuletzt berechneten Vorschläge.
- Liste der Inferenzregeln mit der Möglichkeit, jede davon zu testen.
- NEU! Liste der Äquivalenzgesetze mit Beispielen.
- Wahrheitstabellentheorie aller logischen Operatoren.
- Für die Berechnung ist keine Internetverbindung erforderlich!
- Weitere Berechnungsmodi in zukünftigen Updates!
Mehr lesen
