离散数学1.5.pptVIP

析取范式与合取范式 ?p ∨ (p ∧q) ∨ (p ∧ ?q ∧r)为 命题公式的范式 极小项与极大项 极小项与极大项(续) 由p, q两个命题变项形成的极小项与极大项 由p, q, r三个命题变项形成的极小项与极大项 主析取范式与主合取范式 主析取范式与主合取范式(续) 求公式的主范式 求公式的主范式(续) 主范式的用途——与真值表相同 * 对偶式和对偶原理 定义 在仅含有联结词?, ∧,∨的命题公式A中，将 ∨换成∧, ∧换成∨，若A中含有0或1，就将0换成 1，1换成0，所得命题公式称为A的对偶式，记为A*. 从定义不难看出，(A*)* 还原成A 定理 设A和A*互为对偶式，p1,p2,…,pn是出现在A和 A*中的全部命题变项，将A和A*写成n元函数形式， 则 (1) ? A(p1,p2,…,pn) ? A* (? p1, ? p2,…, ? pn) (2) A(? p1, ? p2,…, ? pn) ? ? A* (p1,p2,…,pn) 定理（对偶原理）设A，B为两个命题公式， 若A ? B，则A* ? B*. 例求p ↑ q，p ↓ q的对偶式。 解：因p ↑q ? ?(p ∧ q) 则：p ↑ q的对偶式为?(p ∨ q)，即p ↓ q 同理： p ↓ q的对偶式为p ↑ q 定理1.2 设A和A*互为对偶式， p1 ， p2, ，…p