Truth Tables for Android APK

Beschreibung

Der einzige Zweck dieses Programms ist das Generieren und Anzeigen von Wahrheitstabellen. Also, meine Logikerkollegen: Fragt nicht, was das Wahrheitstabellen-Programm für euch tun kann – fragt, was ihr für das Wahrheitstabellen-Programm tun könnt! Diese kostenlose Version unterstützt alle üblichen Konnektive der klassischen Logik, also Negation, Konjunktion, (inklusive) Disjunktion, Bedingung (materielle Implikation) und Biconditional (materielle Äquivalenz) sowie die Konstanten 1 und 0, die Wahrheit bzw. Falschheit bezeichnen. Eine coole Sache ist, dass Sie neben der etwas langweiligen Standardnotation der Logik auch die schlanke, glänzende polnische Notation von Lukasiewicz verwenden können! Ist das nicht ein Deal? Und es hört hier nicht auf. Wenn Sie der bodenständige Mensch mit gesundem Menschenverstand sind, werden Sie es beruhigend finden, dass das Programm standardmäßig klassische, zweiwertige Logik verwendet. Aber wenn Sie eher der abenteuerlustige Typ sind, der nie auf ein Abenteuer des Lebens verzichten kann, werden Sie erfreut sein zu erfahren, dass Truth Tables für Android auch eine Reihe von nicht-klassischen, mehrwertigen Logiksystemen unterstützt. Betreten Sie niemals zweimal einen Fluss, und zwei Verneinungen geben sozusagen keine Bestätigung! Bei der Erstellung dieser Anwendung wurden keine Tiere verletzt Benutzer)3.01: Hinzufügen von Bildlaufleisten (auf Wunsch eines Benutzers)3.0: Dies ist eine umfassende Überarbeitung des Innenlebens, was zu einer reibungsloseren und praktisch grenzenlosen Benutzererfahrung führt (es gibt keine relevanten Grenzen mehr für die Größe der Wahrheitstabelle). 2.1: Jetzt können Sie mehrere Vorschläge gleichzeitig eingeben (durch Kommas getrennt). In diesem Fall zeigt das Programm eine integrierte Wahrheitstabelle für alle Aussagen.2.05: Unterdrückt optional die Android-Softtastatur (auf Wunsch eines Benutzers)2.04: Unterstützung für ältere Android-Versionen (ab 1.6) plus kleiner Bugfix (beim Drehen der Bildschirm mit geöffnetem Einstellungsdialog, geänderte Einstellungen aus diesem Dialog wurden nicht übernommen)2.03: attraktivere Anzeige der Historie eingegebener Vorschläge - rein kosmetischer Natur2.02: Hinzufügen einer Historienfunktion für Vorschläge (auf Wunsch eines Benutzers)2.01: Hinzufügen einer zusätzliche Ausführlichkeitsebene, die die Bewertungen für komplexe Teilausdrücke anzeigt, aber nicht für atomare Teilausdrücke (gewünscht von einem geschätzten Benutzer)2.0: Optional zeigt die Wahrheitstabelle auch alle Zwischenergebnisse ("detailed truth table"); interne Verbesserungen1.000020101: Hinzufügen von NAND, NOR und XOR (ein langes Drücken auf die Schaltflächen für Konjunktion, Disjunktion und Äquivalenz führt jeweils zu NAND, NOR und XOR)1.0000201: Dauerhaftes Speichern der globalen Einstellungen; ein langer Druck auf die Schaltfläche Löschen löscht das gesamte Eingabefeld1.00002: Aufgrund eines fehlenden Eintrags in der Liste der englischen String-Ressourcen konnte die englische Version der Anwendung den Haupteinstellungsdialog nicht öffnen...1.00001: Generierung einer wesentlich platzsparendere Version der APK-Datei Schlüsselwörter: truth tables truth-tables truth-table Wahrheitstafel Wahrheitstafeln Wahrheitstabelle Wahrheitstabellen Aussagenlogik LogikLetzte Änderungen:Wartungsversion (in sehr seltenen Fällen konnte die Anwendung beim Ändern der Ausrichtung des Geräts mit dem Einstellungsdialog geschlossen werden offen)Bewertung des Inhalts: Jeder