离散数学9命题逻辑课件.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 寻找与公式G等价的主析取范式，也可以通过真值表来做。 * * 2. 判断公式的类型 设A含n个命题变项. A为重言式 ? A的主析取范式含全部2n个极小项 ? A的主合取范式不含任何极大项, 记为1. A为矛盾式 ? A的主合取范式含全部2n个极大项 ? A的主析取范式不含任何极小项, 记为0. A为非重言式的可满足式 ? A的主析取范式中至少含一个、但不是全 部极小项 ? A的主合取范式中至少含一个、但不是全 部极大项. 主范式的应用 * 例 用主析取范式判断公式的类型: (1) A? ?(p?q)?q (2) B? p?(p?q) (3) C? (p?q)?r 解 (1) A ? ?(? p?q)?q ? ( p??q)?q ? 0