古典的な論理と多くの非古典的なシステムのための真理テーブル
このプログラムの唯一の目的は、 Truth Tablesを生成し、表示することです。
この無料バージョンは、古典的な論理のすべての通常の接続、つまり否定、接続詞、（包括的）分離、条件（材料の含意）、および二条項（材料の等価性）、およびそれぞれ真実と偽りを表す定数1および0です。クールなことは、ロジックのやや退屈な標準表記に加えて、Lukasiewiczの流れのある光沢のあるポーランド表記を使用するかもしれないということです。
そして、それはここで止まらない。あなたが現実的で、常識的な種類の人である場合、デフォルトでは、プログラムがクラシック、2値のロジックを使用することを安心させるでしょう。しかし、もしあなたが冒険的なタイプであり、エンタープライズの手間をかけないことを決して止めないなら、AndroidのTruth Tables多くの非古典的な多値の論理システムをサポートしていることを学ぶことを喜んでいるでしょう。川に2回入らないでください。2つのネガティブは、いわば肯定を断言しません！
最新バージョン3.43の新しいもの
2015年8月3日に最後に更新 * NANDであり、ほとんどの画面サイズでより顕著ではありません（ユーザーが要求）
*レイアウトのクリーンアップ（エキゾチックなデバイスに関する問題を報告してください）
*接続詞と分離にそれぞれ「*」と「+」を許可する（ユーザーが要求）
*オプションでメイン列間のセパレーターラインを表示する（ユーザーが要求）
*画面上のキーボードはオプションで命題文字a、b、c、... p、q、rの代わりに...（ユーザーが要求）
