此程序作为命题公式真值表生成系统，支持与或非、蕴含、等值运算，支持括号，程序类型为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 VC6.0, the results were pretty good.