离散数学的真值表实现,主要是实现命题的真值计算，以及对命题变元的赋值-Truth table for implementation of discrete mathematics, is to achieve the true value proposition, and the assignment of propositional variables, etc.

一个专门用来计算离散数学真值表的程序，用C语言编写-A special discrete mathematics used to calculate the truth table of the program, using C language

对给出的任意一个合式公式（不超过四个命题变元），使学生会用C语言的语句表示出来，并且能够计算它在各组真值指派下所应有的真值。-Given any one of the well-formed formula (not more than four propositional variables), so that students will use C language statements that come out, and it is able to calculate the true

此程序作为命题公式真值表生成系统，支持与或非、蕴含、等值运算，支持括号，程序类型为c程序，运行环境为VC6.0，效果还不错。-This program as a propositional formula truth table generation system, support and non, contains, equivalent operations, support brackets, the program type is c, the running environment V