Truth Tables 3.43

軟體性質: 免費 ‎檔案大小: 217.06 MB
‎使用者評分: 2.3/5 - ‎8 ‎評分

此程式的唯一目的是生成和顯示真實表。

這個自由版本支援經典邏輯的所有常用連接,即否定、結合、(包括)分離、共和(物質暗示)和雙條件(物質等價),以及常數 1 和 0 分別表示真假。一個很酷的事情是,除了有點無聊的邏輯標準符號,你可以使用盧卡西維奇的流襯裡,閃亮的波蘭符號,太。

它並沒有止步於這裡。如果你是腳踏實地、常識性的人,你會發現,默認情況下,程式使用經典、雙值邏輯,這讓人放心。但是,如果你更冒險的類型,從來沒有停止一個企業,你會很高興地瞭解到,Android的真相表支持許多非經典,多值的邏輯系統,太。永遠不要進河兩次,兩個底片不肯定,可以這麼說!

版本歷史記錄

  • 版本 3.43 發佈於 2013-11-14
    * NAND 和 NOR 在大多數螢幕尺寸(使用者請求)中更加突出,* 清理佈局(請報告外來設備的任何問題),* 允許"*quot;""用於連接和分離(使用者請求),* 可選地顯示主列之間的分隔線(使用者請求),* 螢幕鍵盤可選顯示命題字母 A、B、C,...而不是 P, Q, R,...(使用者要求)
  • 版本 2.101 發佈於 2011-05-02
    若干修復和更新

軟體細節