开发者 Erpelstolz

此程序的唯一目的是生成和显示真实表。这个自由版本支持经典逻辑的所有常用连接，即否定、结合、（包括）分离、共和（物质暗示）和双条件（物质等价），以及常数 1 和 0 分别表示真假。一个很酷的事情是，除了有点无聊的逻辑标准符号，你可以使用卢卡西维奇的流衬里，闪亮的波兰符号，太。它并没有止步于这里。如果你是脚踏实地、常识性的人，你会发现，默认情况下，程序使用经典、双值逻辑，这让人放心。但是，如果你更冒险的类型，从来没有停止一个企业，你会很