华南理工离散数学作业题.docxVIP

华 南 理 工 大 学 网 络 教 育 学 院 2014–2015 学年度第一学期 《 离散数学 》作业 （解答必须手写体上传，否则酌情扣分） 设命题公式为 ? Q ?（P ? Q）? ? P。 求此命题公式的真值表； 求此命题公式的析取范式； 判断该命题公式的类型。 解：（1） 真值表如下： P Q ? Q P ? Q ? Q ?（P ? Q） ? P ? Q ?（P ? Q）? ? P 0 0 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 1 （ 2） ? Q ?（ P ? Q） ?? P?? (? Q ?(?P? Q)) ? ? P