一:需求分析 1．本程序需掌握树和二叉树的概念及工作原理，运用其原理及概念完成实验.。 2．问题描述： 一个逻辑表达式如果对于其变元的任一种取值都为真，则称为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式；然而，更多的情况下，既非重言式，也非矛盾式。试写一程序，通过真值表判断一个逻辑表达式属于那一类。 3．基本要求： （1）逻辑表达式从终端输入，长度不超过一行。逻辑运算符包括“|”，“&”和“~”, 分别表示或、与和非，运算优先程度递增，但可以有括号改变，

MFC实现命题公式的计算 根据命题公式自动构建真值表并计算最大项和最小项-MFC achieve propositional formula calculation formula under Proposition automatically build a truth table and calculate the maximum and minimum entry items

mfc可视化界面，离散数学课题作业。计算并显示命题公式的真值表，以及其主析取范式和主合取范式。-mfc visual interface, discrete mathematics topics operation. Propositional formula calculates and displays the truth table, as well as its main and principal co-disjunctive normal form.