古典邏輯和許多非古典系統的真相表
該程序的唯一目的是生成和顯示Truth Tables 。
該免費版本支持經典邏輯的所有常規連接，即否定，連詞，（包含）析取，孔子（物質含義）和雙條件（物質等價）以及常數1和0代表真相和虛假。很酷的事情是，除了邏輯的標準符號有些無聊之外，您也可以使用Lukasiewicz的溪流閃亮的波蘭語符號。
而且它不止於此。如果您是務實的，常識性的人，您會發現它令人放心，默認情況下，該程序使用經典的，兩價值的，邏輯。但是，如果您更多地是冒險的類型，那麼永遠不要停止企業，您將很高興得知Android的Truth Tables也支持許多非古典，多價值的邏輯系統。可以這麼說，切勿兩次進入河流，兩名負面因素不會肯定！
下載