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.

MultiParadigmDesignforC++, 多范式c++程序设计,极大开拓你的视野,(MultiParadigmDesignforC++ paradigm c + + program design, greatly expand your horizons,)