求公式的范式举例 例求下列公式的析取范式与合取范式 (1)4=(p→>-q)v 解(p->qvr 分(yV-qyr(消去→) 兮一VqV(结合律) 这既是A的析取范式(由3个简单合取式组成的析 取式),又是A的合取范式(由一个简单析取式 组成的合取式)
6 求公式的范式举例 例 求下列公式的析取范式与合取范式 (1) A=(p→q)r 解 (p→q)r (pq)r (消去→) pqr (结合律) 这既是A的析取范式(由3个简单合取式组成的析 取式),又是A的合取范式(由一个简单析取式 组成的合取式)
求公式的范式举例(续) (2)B=D→>-q)->r 解(p→-q)-r 兮(yV-q)-r(消去第一个→) 兮-(yV-qyr(消去第二个→) 分(∧qvr (否定号内移—德摩根律) 这一步已为析取范式(两个简单合取式构成) 继续:(p∧qr 台(pVr)∧(qr)(v对入分配律) 这一步得到合取范式(由两个简单析取式构成)
7 求公式的范式举例(续) (2) B=(p→q)→r 解 (p→q)→r (pq)→r (消去第一个→) (pq)r (消去第二个→) (pq)r (否定号内移——德摩根律) 这一步已为析取范式(两个简单合取式构成) 继续: (pq)r (pr)(qr) (对分配律) 这一步得到合取范式(由两个简单析取式构成)
极小项与极大项 定义在含有n个命题变项的简单合取式(简单析取式)中, 若每个命题变项均以文字的形式在其中出现且仅出现一 次,而且第(I≤还n)个文字出现在左起第谊上,称这样 的简单合取式(简单析取式)为极小项(极大项) 说明:n个命题变项产生2n个极小项和2n个极大项 2n个极小项(极大项)均互不等值 用m表示第i个极小项,其中i该极小项成真赋值的十 进制表示用M表示第个极大项,其中误该极大项成假 赋值的十进制表示,m2(M)称为极小项(极大项)的名称 m1与M的关系:-m1分M,_M分m1
8 极小项与极大项 定义 在含有n个命题变项的简单合取式(简单析取式)中, 若每个命题变项均以文字的形式在其中出现且仅出现一 次,而且第i(1in)个文字出现在左起第i位上,称这样 的简单合取式(简单析取式)为极小项(极大项). 说明:n个命题变项产生2 n个极小项和2 n个极大项 2 n个极小项(极大项)均互不等值 用mi表示第i个极小项,其中i是该极小项成真赋值的十 进制表示. 用Mi表示第i个极大项,其中i是该极大项成假 赋值的十进制表示, mi (Mi )称为极小项(极大项)的名称. mi与Mi的关系: mi Mi , Mi mi