Truth Tables 3.43

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

關於 Truth Tables

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

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

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