l2命题逻辑2 离散数学.ppt

Lu Chaojun, SJTU 范式存在定理及求法 范式定理: 对任一命题公式都存在与之等值的析取范式和合取范式. 等值变换法求范式 (1)消去?,? (2) ?深入到命题符号之前 (3) ?(?)深入 至此已是范式. (4) (可选)化简 * Lu Chaojun, SJTU 求范式(1):消去?,? 方法:利用下列等值式 A?B ? ?A?B A?B ? (A?B )?(?A??B ) [用于求析取范式] A?B ? (A??B )?(?A?B ) [用于求合取范式] 例:求?(x?y)?(x?y)的析取范式 ?(x?y)?(x?y) ? (?(x?y) ? (x?y)) ? (??(x?y) ? ?(x?y)) * Lu Chaojun, SJTU 求范式(2):否定词深入 方法:利用下列等值式 ?(A ? B ) ? ?A ? ?B ?(A ? B ) ? ?A ? ?B ??A ? A 例 ?(x?y)?(x?y) ? (?(x?y) ? (x?y)) ? (??(x?y) ? ?(x?y)) ? (?x??y ? x?y) ? ((x?y) ? (?x??y)) * Lu Chaojun, SJTU 求范式(3):合(析)取词深入 方法:利用分配律 A?(B?C) ? (A?B) ? (A?C) [用于求析取范式] A?(B?C)