此程式的唯一目的是生成和顯示真實表。
這個自由版本支援經典邏輯的所有常用連接,即否定、結合、(包括)分離、共和(物質暗示)和雙條件(物質等價),以及常數 1 和 0 分別表示真假。一個很酷的事情是,除了有點無聊的邏輯標準符號,你可以使用盧卡西維奇的流襯裡,閃亮的波蘭符號,太。
它並沒有止步於這裡。如果你是腳踏實地、常識性的人,你會發現,默認情況下,程式使用經典、雙值邏輯,這讓人放心。但是,如果你更冒險的類型,從來沒有停止一個企業,你會很高興地瞭解到,Android的真相表支持許多非經典,多值的邏輯系統,太。永遠不要進河兩次,兩個底片不肯定,可以這麼說!
版本歷史記錄
- 版本 3.43 發佈於 2013-11-14
* NAND 和 NOR 在大多數螢幕尺寸(使用者請求)中更加突出,* 清理佈局(請報告外來設備的任何問題),* 允許"*quot;""用於連接和分離(使用者請求),* 可選地顯示主列之間的分隔線(使用者請求),* 螢幕鍵盤可選顯示命題字母 A、B、C,...而不是 P, Q, R,...(使用者要求) - 版本 2.101 發佈於 2011-05-02
若干修復和更新
軟體細節
- 軟體分類: 教育 > 教學和培訓工具
- 發佈者: Erpelstolz
- 軟體性質: 免費
- 價格: N/A
- 版本: 3.43
- 作業系統: android