(0离 散 数 学.docVIP

第一节 等值式 例6、求命题公式 的主析取范式，主合取范式，成真赋值和成假赋值。 解：先求主析取范式 故主合取范式为 例6、求命题公式 的主析取范式，主合取范式，成真赋值和成假赋值。 解：成真赋值为极小项角码对应的二进制数， 即00，10，11。 成假赋值为极大项角码对应的二进制数， 即01。 例7、设 (1) 求 的真值表。 (2) 求 的主析取范式、主合取范式。 解： 例7、设 (2) 求 的主析取范式、主合取范式。 解： 例7、设 (2) 求 的主析取范式、主合取范式。 解： 例8、判断下列推理是否正确。 解：可用多种方法(如真值表法，等值演算法， 主范式法)验证， 并非重言式， 故推理不正确。 (1) 前提： 结论： ， 例8、判断下列推理是否正确。 (2) 如果今天是星期二，则a name=baidusnap0/a明天/B是星期四。 今天是星期二，所以明天/B是星期四。 以上推理即假言推理，所以是正确的。 解： ：明天/B是星期四， ：今天是星期二， 前提： 结论： ， 例9、写出对应下面推理的证明。 　　有红、黄、蓝、白四队参加足球联赛。如果红队第三，则当黄队第二时，蓝队第四；或者白队不是第一，或者红队第三；事实上，黄队第二。因此，如果白队第一，那么蓝队第四。 证明：设 ：红队第三， ：黄队第二， ：蓝队第四， ：白