Truth Tables
9.1
3.43
2025-06-15
最新版本
古典邏輯和許多非古典系統的真相表
該程序的唯一目的是生成和顯示Truth Tables 。
該免費版本支持經典邏輯的所有常規連接，即否定，連詞，（包含）析取，孔子（物質含義）和雙條件（物質等價）以及常數1和0代表真相和虛假。很酷的事情是，除了邏輯的標準符號有些無聊之外，您也可以使用Lukasiewicz的溪流閃亮的波蘭語符號。
而且它不止於此。如果您是務實的，常識性的人，您會發現它令人放心，默認情況下，該程序使用經典的，兩價值的，邏輯。但是，如果您更多地是冒險的類型，那麼永遠不要停止企業，您將很高興得知Android的Truth Tables也支持許多非古典，多價值的邏輯系統。可以這麼說，切勿兩次進入河流，兩名負面因素不會肯定！
最新版本3.43中的新功能
上次更新於2015年8月3日 * NAND，大多數屏幕尺寸也不更突出（用戶要求）*清理佈局（請報告異國情調設備的任何問題）
*分別允許“*”和“+”進行連詞和分離（用戶請求）
*可選地在主列之間顯示分離器線（用戶請求）
*在屏幕上鍵盤可選地顯示命題字母A，B，C，...而不是P，Q，R，...（用戶請求）
展開
Truth Tables 截圖
軟體推薦
