Truth Tables 3.43

für comio C1 China

Der einzige Zweck dieses Programms ist das Erzeugen und Anzeigen von Wahrheitstabellen.

Diese freie Version unterstützt alle üblichen Konnektoren der klassischen Logik, dh Negation, Konjunktion, (inklusive) Disjunktion, Conditional (materielle Implikation) und Biconditional (materielle Äquivalenz), sowie die Konstanten 1 und 0, die jeweils Wahrheit und Unwahrheit bezeichnen. Eine coole Sache ist, dass Sie neben der etwas langweiligen Standardnotation der Logik auch die stromlinienförmige, glänzende polnische Notation von Lukasiewicz verwenden können.

Und es hört hier nicht auf. Wenn Sie der bodenständige, gesunde Mensch sind, werden Sie es beruhigend finden, dass das Programm standardmäßig klassische, zweiwertige Logik verwendet. Aber wenn Sie eher abenteuerlustig sind und nie zu kurz kommen, werden Sie erfreut sein zu erfahren, dass Truth Tables für Android eine Reihe von nicht-klassischen, mehrwertigen logischen Systemen unterstützt. Betrete niemals einen Fluss zweimal, und zwei Negative machen sozusagen keine Bestätigung!