開發者 Erpelstolz

此程式的唯一目的是生成和顯示真實表。這個自由版本支援經典邏輯的所有常用連接，即否定、結合、（包括）分離、共和（物質暗示）和雙條件（物質等價），以及常數 1 和 0 分別表示真假。一個很酷的事情是，除了有點無聊的邏輯標準符號，你可以使用盧卡西維奇的流襯裡，閃亮的波蘭符號，太。它並沒有止步於這裡。如果你是腳踏實地、常識性的人，你會發現，默認情況下，程式使用經典、雙值邏輯，這讓人放心。但是，如果你更冒險的類型，從來沒有停止一個企業，你會很