www.zhnq.net > p合取q是合取范式吗

p合取q是合取范式吗

P∧Q不是主合取范式但可以是主析取范式

你好!我们这里从定义出发.简单析(合)取式:仅由有限个文字构成的析(合)取式 合取范式:由有限个简单析取式构成的合取式 析取范式:由有限个简单合取式构成的析取式 (PVQ)VR不是合取范式,因为“合取式”条件不满足.PVQVR既是合取范式也可以是析取范式,因为PVQVR可看做一个整体析取式,而单独一个整体既是合取式也可以是析取式,所以PVQVR是合取范式;又P,Q,R分开来看既是合取式也可以是析取式,并且V为析取符号,该式为析取式,所以PVQVR是析取范式.

当然是因为它符合定义了.作为析取范式,由三个简单合取式组成:p,q,r.作为合取范式,只有一个简单析取式组成,就是自身.

(P->Q)P|Q)=P & Q 主合取范式,也是主析取范式.为非运算,| 为析取,& 为合取.P & Q 是主析取范式,是因为它刚好是合取小项.主析取范式就是合取小项间的析取.如 (P & Q) | P & Q)同理P | Q 主析取范式,也是主合取范式.建议好好领会各概念.

我们这里从定义出发.简单析(合)取式:仅由有限个文字构成的析(合)取式合取范式:由有限个简单析取式构成的合取式析取范式:由有限个简单合取式构成的析取式(PVQ)VR不是合取范式,因为“合取式”条件不满足.PVQV

p∧q∧r是主析取范式,这个主析取范式只有一个极小项m7 p∨q∨r是主合取范式,这个主合 取范式只有一个极大项M0

P Q R P∧Q ┐P∧R (P∧Q)∨(┐P∧R) 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 1 1 1 0 1 原公式的主析取范式:(┐P∧┐Q∧R)V(┐P∧Q∧R)V(P∧Q∧┐R)V(P∧Q∧R) 主合取范式:(┐PVQV┐R)∧(┐PVQVR)∧(PV┐QVR)∧(PVQVR)

合取范式是由简单析取式组成的合取式,┐p∨q是由一个简单析取式┐p∨q构成的合取范式(它同时也是由二个简单合取式┐p与q构成的析取范式).

答:p q r p∧q ┐p∧r (p∧q)∨(┐p∧r)0 0 0 0 0 00 0 1 0 1 10 1 0 0 0 00 1 1 0 1 11 0 0 0 0 01 0 1 0 0 01 1 0 1 0 11 1 1 1 0 1 原公式的主析取范式:(┐p∧┐q∧r)v(┐p∧q∧r)v(p∧q∧┐r)v(p∧q∧r) 主合取范式:(┐pvqv┐r)∧(┐pvqvr)∧(pv┐qvr)∧(pvqvr) 帮我 一步一步划一下 我自己做了一下 但是不太确定 感谢大神

(P∨Q)→(PQ) (P∨Q)∨(PQ) 变成 合取析取 (P∨Q)∨((P→Q)∧(Q→P)) 变成 合取析取 (P∨Q)∨((P∨Q)∧(Q∨P)) 变成 合取析取 (P∨Q)∨((P∨Q)∧(P∨Q)) 交换律 排序 (P∧Q)∨((P

网站地图

All rights reserved Powered by www.zhnq.net

copyright ©right 2010-2021。
www.zhnq.net内容来自网络,如有侵犯请联系客服。zhit325@qq.com