最简比析取式和最简比合取式能相互转换么

点击联系发帖人 时间：2020-04-21 16:13

最简

VIP专享文档是百度文库认证用户/机構上传的专业性文档文库VIP用户或购买VIP专享文档下载特权礼包的其他会员用户可用VIP专享文档下载特权免费下载VIP专享文档。只要带有以下“VIP專享文档”标识的文档便是该类文档

VIP免费文档是特定的一类共享文档，会员用户可以免费随意获取非会员用户需要消耗下载券/积分获取。只要带有以下“VIP免费文档”标识的文档便是该类文档

VIP专享8折文档是特定的一类付费文档，会员用户可以通过设定价的8折获取非会員用户需要原价获取。只要带有以下“VIP专享8折优惠”标识的文档便是该类文档

付费文档是百度文库认证用户/机构上传的专业性文档，需偠文库用户支付人民币获取具体价格由上传人自由设定。只要带有以下“付费文档”标识的文档便是该类文档

共享文档是百度文库用戶免费上传的可与其他用户免费共享的文档，具体共享方式由上传人自由设定只要带有以下“共享文档”标识的文档便是该类文档。

}

定义一个命题公式称为合取范式僅当具有形式 :
其中An 都是由命题变元或其否定组成的析取式.
例如 (P∨┐Q∨R)∧（┐p∨Q）∧┐Q
想问下,定义不是说 “An为由变元或其否定组成的析取式” 那为什么

一个个命题公式称为合取范式仅当具有形式 :

其中An 都是由命题变元或其否定组成的析取式.

这里A1,A2,..,An称为析取项(或简单析取式),n可取1,n=1时,Ak化為单个变元或单个变元否定,也即单个变元或单个变元否定均可看成析取项(简单析取式),同理单个变元或单个变元否定也均可看成合取项(简单匼取式).

如 P∧(P∨┐Q∨R)∧（┐p∨Q),P∧Q∧(P∨┐Q)均是合取范式.

P∨(P∧┐Q∧R)∨（┐p∧Q),P∨Q∨(P∧┐Q)均是析取范式.

}

格式：PPT ? 页数：26页 ? 上传日期： 12:03:00 ? 浏览次数：19 ? ? 1500积分 ? ? 用稻壳阅读器打开

全文阅读已结束如果下载本文需要使用

该用户还上传了这些文档

}