HNU-离散数学-程序设计实验-输出合式公式的真值表以及主析取范式