Truth Tables
8.1
3.43
2025-01-10
最新版本
古典逻辑和许多非古典系统的真相表
该程序的唯一目的是生成和显示Truth Tables 。
该免费版本支持经典逻辑的所有常规连接，即否定，连词，（包含）析取，孔子（物质含义）和双条件（物质等价）以及常数1和0代表真相和虚假。很酷的事情是，除了逻辑的标准符号有些无聊之外，您也可以使用Lukasiewicz的溪流闪亮的波兰语符号。
而且它不止于此。如果您是务实的，常识性的人，您会发现它令人放心，默认情况下，该程序使用经典的，两价值的，逻辑。但是，如果您更多地是冒险的类型，那么永远不要停止企业，您将很高兴得知Android的Truth Tables也支持许多非古典，多价值的逻辑系统。可以这么说，切勿两次进入河流，两名负面因素不会肯定！
最新版本3.43中的新功能
上次更新于2015年8月3日 * NAND，大多数屏幕尺寸也不更突出（用户要求）*清理布局（请报告异国情调设备的任何问题）
*分别允许“*”和“+”进行连词和分离（用户请求）
*可选地在主列之间显示分离器线（用户请求）
*在屏幕上键盘可选地显示命题字母A，B，C，...而不是P，Q，R，...（用户请求）
展开
Truth Tables 截图
软件推荐
