秦九韶算法教学课件.pptVIP

范　式 　对偶式 　简单析取式和简单合取式 　析取范式和合取范式 　主范式 范 式 ---- 对 偶 式 范 式 ---- 对 偶 式 定理1.2　设A与A*互为对偶式，p,q,r是出现在A和A*中的全部的命题变项，若将A和A*写成函数形式: 范 式 ---- 析取式和合取式 定义：仅由有限个命题变项或其否定构成的析取式称为简单析取式。 例如 ：给定命题变项p,q,则p, q, ┐p, ┐q, p∨q, p∨┐q, ┐p∨q, ┐p∨┐q 都是简单析取式 范 式 ---- 析取式和合取式 定义：仅由有限个命题变项或其否定构成的合取式称为简单合取式。  范 式 ---- 析取范式和合取范式 析取范式：仅由有限个简单合取式构成的析取式 A=(p∧┐q∧r)∨(┐p∧q)∨(q∧┐q) 范 式 ---- 析取范式和合取范式 范 式 ---- 主范式 主析取范式概念 求主析取范式 主合取范式概念 求主合取范式 范 式 ---- 主析取范式 范 式 ---- 求主析取范式 范 式 ---- 主合取范式 定义　形如A＝A1 ∧ A2 ∧ …… ∧ An 基中Ai(I=1,2,3……n) 为极大项记为：∏（m1m2……m2n-1) 范 式 ---- 求主析取范式 　求p∧q ∨r的主合取范式解　　（p∧q）∨r 　　 ?（P∨r)∧(q∨