下载 APKPure App
可在安卓获取Truth Tables的历史版本
真值表为经典逻辑和为一些非经典系统的
这一计划的唯一目的是生成和显示,真值表。
这个免费版本支持经典逻辑的所有常用连接词,即否定,合取(含)析取,conditonal(实质蕴涵),和双条件(材料等价),以及常量1和0表示真理与谬误,分别。一个很酷的事情是,除了逻辑有点枯燥标准的符号,你可以使用RL型的流线型,有光泽波兰表示法也。
它不会停止在这里。如果你是下到地球,常识样的人,你会发现它令人欣慰的是,在默认情况下,该程序使用古典,二值逻辑。但如果你是更冒险的类型,永不停止短的企业,你会很高兴地得知,真值表为Android支持许多非经典,多值逻辑系统,也。永远不会进入一条河流两次,两个否定不做的肯定,可以这么说!
Last updated on 2015年08月03日
* NAND and NOR are more prominent for most screen sizes (requested by a user)
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)
Truth Tables
3.43 by Erpelstolz
2015年08月03日