1.这个计算器可用在离散数学的数理逻辑中，纯属工具，随意传播，由java语言实现,解压即可运行，需要按照java环境。可以去这里下载运行环境：http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入，也可用相应的按钮输入，变元只能是PQRST。由于等价连接词无法识别，所以用等号代替，这也是一个无奈的选择。 4.计算前请选择变元个数（默认为3元）并对变元赋值。变元个数最

一个递归程序 根据数理逻辑中 公式 的递归定义 判断一个表达式是否是公式