离散数据:析取范式与合取范式

一、前言

析取范式和合取范式是命题逻辑等值演算中的重要内容,其目的是为了标准化命题公式。下面我将给出析取范式和合取范式的计算步骤。又由于析取范式和合取范式的形式不唯一,为了便于比较命题公式之间的关系,因此衍生出了主析取范式和主合取范式。所以,也将给出主析取范式和主合取范式的求解方法。

二、范式存在定理

范式存在定理:任一命题公式都存在与之等值的析取范式和合取范式。

求解给定公式范式的步骤:

(1)消去连接词 \rightarrow , \leftrightarrow

(2)用双重否定律消去双重否定符,用德摩根律内移否定符

(3)使用分配律:求析取范式时使用\wedge\vee的分配律,求合取范式时使用\vee\wedge的分配律

三、主析取范式

所有简单合取式都是极小项的析取范式称为主析取范式;

所有简单析取式都是极大项的合取范式称为主合取范式。

                               

                                表1-1 含p,q的极小项和极大项 

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值