09命题逻辑.pptVIP

 命题逻辑应用 及习题课 练习1:概念 1. 设A与B为含n个命题变项的公式，判断下列命题是否为真？ (1) A?B当且仅当A与B有相同的主析取范式 (2) 若A为重言式，则A的主合取范式为0 (3) 若A为矛盾式，则A的主析取范式为1 (4) 任何公式都能等值地化成{?, ?}中的公式 (5) 任何公式都能等值地化成{?, ?, ?}中的公式 练习2: 判断公式类型 解 用等值演算法求主范式 (p?q)?(?q??p) ? ?(?p?q)?(q??p) ? (p??q)?(q??p) ? (p??q)?(?p?q)?(p?q)?(?p??q) ? m2 ? m1 ? m3 ? m0 ? m0 ? m1 ? m2 ? m3 主析取范式 ? 1 主合取范式 练习题2(续) 解 用等值演算法求公式的主范式 ?(p?q)?q ? ?(?p?q)?q ? p??q?q