Berechnen und interpretieren Sie das Ergebnis von Aussagenlogikformeln.
advertisement
| Name | Logic Calculator |
|---|---|
| Version | 1.1.4 |
| Aktualisieren | 26. Sep. 2023 |
| Größe | 19 MB |
| Kategorie | Tools |
| Installationen | 50Tsd.+ |
| Entwickler | Aulos Rafael |
| Android OS | Android 6.0+ |
| Google Play ID | com.ccomp.logic.calculator |
Logic Calculator · Screenshots
Logic Calculator · Beschreibung
Mit dieser App können Sie:
- überprüfen, ob eine Zeichenfolge eine wohlgeformte Formel (WFF) ist;
- Erhalten der normalen polnischen Notation (NPN) - d. H. Einer Präfixnotation - von Aussagenlogikformeln;
- Erhalten der umgekehrten polnischen Notation (RPN), d. H. Einer Postfix-Notation - von Aussagenlogikformeln;
- die Unterformeln der Aussagenlogikformeln erhalten;
- eine disjunktive Normalform (DNF) und eine konjunktive Normalform (CNF) für Aussagenlogikformeln erhalten;
- Wahrheitstabellen für Aussagenlogikformeln erstellen;
- Zuweisungssymbole Wahrheitswerte zuweisen und die Interpretation von Aussagenlogikformeln erhalten.
Darüber hinaus können Sie für die logischen Verknüpfungen unterschiedliche Prioritätsreihenfolgen auswählen.
- überprüfen, ob eine Zeichenfolge eine wohlgeformte Formel (WFF) ist;
- Erhalten der normalen polnischen Notation (NPN) - d. H. Einer Präfixnotation - von Aussagenlogikformeln;
- Erhalten der umgekehrten polnischen Notation (RPN), d. H. Einer Postfix-Notation - von Aussagenlogikformeln;
- die Unterformeln der Aussagenlogikformeln erhalten;
- eine disjunktive Normalform (DNF) und eine konjunktive Normalform (CNF) für Aussagenlogikformeln erhalten;
- Wahrheitstabellen für Aussagenlogikformeln erstellen;
- Zuweisungssymbole Wahrheitswerte zuweisen und die Interpretation von Aussagenlogikformeln erhalten.
Darüber hinaus können Sie für die logischen Verknüpfungen unterschiedliche Prioritätsreihenfolgen auswählen.
