真值台

【应用介绍】
真值台是一台布尔逻辑的判定台。你把关心的条件一个个录进去，用「与／或／非／括号」写出自己的规则，
再点一下哪些条件现在成立——它当场告诉你哪几条规则跟着成立，并把每条规则摊成一整张真值表。

· 条件最多 6 个，规则最多 8 条，所以一张表最多 64 行，手机上逐格算得完；
· 行数恒等于 2 的"条件数"次方：4 个条件就是 16 行，这一句由单元测试逐条钉死，不是话术；
· 表里标绿的那一行，就是你此刻勾选出来的那个世界，逐格对得上；
· 每条规则都给"满足多少行、用到几个条件"，恒成立与永远不成立会直说，不含糊；
· 写错了不猜你的意思：哪个符号不认识、多出还是少了哪个括号，都回显原文并说是第几个字；
· 点一条规则的「归约」，可以看到它怎么从原式一步步化成一个字；
· 判定走两条互相独立的路（按语法树求值 / 按真值列取交并补），每一格都对得上才显示结论，
对不上就写"先不显示"，不端一个猜的答案给你。