英文: This program creates truth tables from boolean expressions. I believe that it's very useful for Computer science students who learning Boolean algebra and predicate logic (like my self).

中文: 这个程序从布尔表达式中创建真实的表格。我相信对于学习布尔代数学和谓词逻辑的计算机科学学生（像我自己这样的）来说它是非常有用的。       更详细...

---