②22析取范式和合取范式豪 口析取范式:由有限个简单合取式构成的析取式 令A1V…AnA为合取式 ☆(p∧q)v(P∧r 口合取范式:由有限个简单析取式构成的合取式 令A1…∧AnAr为合取式 ☆(_pVq)∧(Pvr 口析取范式与合取范式统称为范式 16
16 2.2 析取范式和合取范式 ❑析取范式:由有限个简单合取式构成的析取式 ❖A1 … An, Ai 为合取式 ❖(p q) (p r) ❑合取范式:由有限个简单析取式构成的合取式 ❖A1 … An, Ai 为合取式 ❖(p q) (p r) ❑析取范式与合取范式统称为范式
17
17
②22析取范式和合取范式 口定理 ◆设A为筒单合取式,析取范式 A1Vv An分 F当且仅当A;分F,任意Ar 今设A为简单析取式,合取范式A1人An分 T当且仅当A分T,任意A 18
18 2.2 析取范式和合取范式 ❑定理： ❖设Ai 为简单合取式，析取范式A1 … An F 当且仅当 Ai F，任意Ai ❖设Ai 为简单析取式， 合取范式A1 … An T 当且仅当 Ai T，任意Ai
②22析取范式和合取范式豪 口范式存在定理:任意命题公式都存在着与之等值 的析取范式与合取范式 方法: 步骤一:消去“>”、“”联结词 步骤二:消去双重否定符,内移否定符 步骤三:使用分配律 19
19 2.2 析取范式和合取范式 ❑范式存在定理:任意命题公式都存在着与之等值 的析取范式与合取范式 方法： 步骤一：消去“→” 、 “”联结词 步骤二：消去双重否定符，内移否定符 步骤三：使用分配律
②22析取范式和合取范式豪 口范式存在定理:任意命题公式都存在着与之等值 的析取范式与合取范式 方法: 步骤一:消去“>”、“”联结词 步骤二:消去双重否定符,内移否定符 步骤三:使用分配律 20
20 2.2 析取范式和合取范式 ❑范式存在定理:任意命题公式都存在着与之等值 的析取范式与合取范式 方法： 步骤一：消去“→” 、 “”联结词 步骤二：消去双重否定符，内移否定符 步骤三：使用分配律