古典的な論理と多くの非古典的なシステムのための真理テーブル
このプログラムの唯一の目的は、 Truth Tablesを生成し、表示することです。
この無料バージョンは、古典的な論理のすべての通常の接続、つまり否定、接続詞、（包括的）分離、条件（材料の含意）、および二条項（材料の等価性）、およびそれぞれ真実と偽りを表す定数1および0です。クールなことは、ロジックのやや退屈な標準表記に加えて、Lukasiewiczの流れのある光沢のあるポーランド表記を使用するかもしれないということです。
そして、それはここで止まらない。あなたが現実的で、常識的な種類の人である場合、デフォルトでは、プログラムがクラシック、2値のロジックを使用することを安心させるでしょう。しかし、もしあなたが冒険的なタイプであり、エンタープライズの手間をかけないことを決して止めないなら、AndroidのTruth Tables多くの非古典的な多値の論理システムをサポートしていることを学ぶことを喜んでいるでしょう。川に2回入らないでください。2つのネガティブは、いわば肯定を断言しません！
ダウンロード