Truth Tables
開発者
Erpelstolz
パッケージ:
at.ac.univie.phl.logik.android.truthtables
ダウンロード:
100K
サイズ:
207 KB
Android 要件:
2.2 以上
アップデート:
2013年11月14日
The sole purpose of this program is generating, and displaying, Truth Tables. This free version supports all usual connectives of classical logic, that is negation, conjunction, disjunction, conditonal and biconditional as well as the constants 1 and 0 denoting truth and falsehood, respectively.
コメント