1.这个计算器可用在离散数学的数理逻辑中，纯属工具，随意传播，由java语言实现,解压即可运行，需要按照java环境。可以去这里下载运行环境：http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入，也可用相应的按钮输入，变元只能是PQRST。由于等价连接词无法识别，所以用等号代替，这也是一个无奈的选择。 4.计算前请选择变元个数（默认为3元）并对变元赋值。变元个数最高为5，基本能满足日常的计算。 5.计算器有自动检查表达式是否正确的功能，如果判断功能有误，麻烦您告诉我您的表达式。-1. The calculator can be used in discrete mathematics mathematical logic and is purely tools, and they spread by java language, can extract operation, in accordance with the needs of java environment. Go here to download operating environment : http : / / www.skycn.com/soft/3116.html 2. The calculator can or count the value of the expression logic, truth table corresponding to the main disjunctive, with the main SAT. 3. Importation of expression can be imported in the expression column, also available in the corresponding button input variables can only be PQRST. As conjunction equivalence can not be identified, and so synonymous substitution, this is a helpless choice. 4. Please choose before calculating variable number (default 3 million) as well as variable assignment. Arguments for the