求p->(q->r)的合取范式.析取范式和主析取范式
来源:学生作业帮助网 编辑:作业帮 时间:2024/05/18 02:12:08
用≡代替<=>.用∟表示“否定”((p∨q)→r)→p≡∟((p∨q)→r)∨p≡∟(∟(p∨q)∨r)∨p≡((p∨q)∧∟r)∨p≡(p∧∟r)∨(q∧∟r)∨p≡(p∧q∧∟r)∨(p∧∟q∧∟
PQRP∧Q┐P∧R(P∧Q)∨(┐P∧R)000000001011010000011011100000101000110101111101原公式的主析取范式:(┐P∧┐Q∧R)V(┐P∧Q∧R)V(
(p∨(q∧r))→(p∧q∧r)﹁(p∨(q∧r))∨(p∧q∧r)(﹁p∧﹁(q∧r))∨(p∧q∧r)(﹁p∧(﹁q∨﹁r))∨(p∧q∧r)(﹁p∧﹁q)∨(﹁p∧﹁r)∨(p∧q∧r)((﹁
先算主析取范式:(p∨(q∧r))→(p∧q∧r)﹁(p∨(q∧r))∨(p∧q∧r)(﹁p∧﹁(q∧r))∨(p∧q∧r)(﹁p∧(﹁q∨﹁r))∨(p∧q∧r)(﹁p∧﹁q)∨(﹁p∧﹁r)∨(p
主析取范式是不是就是优析取范式,(P∩Q)∪R((P∩Q)∩(R∪非R))∪(R∩(P∪非P)∩(Q∪非Q))((P∩Q)∩(R∪非R))∪(((R∩P)∪(R∩非P))∩(Q∪非Q))((P∩Q)∩
主合取范式:若干个极大项的合取.主析取范式:若干个极小项的析取.例,求公式(p∧q)∨r的主析取范式及主合取范式.主析取范式:(p∧q)∨r(p∧q∧(r∨┐r))∨((p∨┐p)∧(q∨┐q)∧r)
PQRPVQRVQ(P∨Q)→(R∨Q)000001001011010111011111100100101111110111111111没弄对其,应该能看懂吧~然后主析取范式为(-P∧-Q∧-R)V(
原式((┓pvq)→r)∧(r→((┓pvq)))((p∧┓q)vr)∧(┓rv(┓pvq))((p∧┓q)∧(┓rv┓pvq))v(r∧(┓rv┓pvq))(p∧┓q∧┓r)v(p∧┓q∧┓p)v(
不太对吧,你的第二步P∧(┐P∨Q)(P∧┐P)∨(P∧Q)P∧Q【回答补充】:你看,化成这样之后就可以写范式了因为:P(P∨Q)∧(P∨┐Q)Q(P∨Q)∧(┐P∨Q)所以P∧Q((P∨Q)∧(P∨
非“主析联范式”而是“主析取范式”.这种例子教科书上有的,翻翻书,用上常用的命题等价式,依样画葫芦即可. (p∧q)∨r (p∨r)∧(q∨r) ((p∨q∨r)∧(p∨﹁q∨r))∧((p∨q
P∧(P→Q)=Q所以析取范式和合取范式都为Q再问:能详细点么?再答:错了,那不是—>,不是公式:P→Q非PVQ所以:P∧(P→Q)=P∧(非PVQ)=(P∧非P)V(P∧Q)=0V(P∧Q)=P∧Q
合取范式是由简单析取式组成的合取式,┐p∨q是由一个简单析取式┐p∨q构成的合取范式(它同时也是由二个简单合取式┐p与q构成的析取范式).
┐(pV┐q)∧(s→r)⇔┐p∧q∧(┐sVr)(合取范式)现对每个合取项构成保证形式,如┐p,要把q,s,r全部添进去.主合取范式一共有12项再问:更详细一点啊再答:比如第1项:┐p要
用真值表,很容易得出结果或者等价公式也可以先求主合取范式:(P→Q)↔R(﹁(﹁P∨Q)∨R)∧(﹁R∨(﹁P∨Q))((P∧﹁Q)∨R)∧(﹁P∨Q∨﹁R)(P∨R)∧(﹁Q∨R)∧(﹁
主析取:m1vm3vm5vm6vm7主合取:M0^M2^M4可以用真值表法或是等值演算法.
符号没有搞明白,那是析取吗?如果是析取的话,合取范式就是它自身
公式法貌似不好推,用真值表试试
我们这里从定义出发.简单析(合)取式:仅由有限个文字构成的析(合)取式合取范式:由有限个简单析取式构成的合取式析取范式:由有限个简单合取式构成的析取式(PVQ)VR不是合取范式,因为“合取式”条件不满
PQRPVQRVQ(P∨Q)→(R∨Q)00000100101没弄对其,应该能看懂吧~然后主析取范式为(-P∧-Q∧-R)V(-P∧-Q∧再问:看不懂哟,好像不对
(P->Q)R((P-->Q)-->R)且(R-->(P-->Q))(非(非P或Q)或R)且(非R或(非P或Q))((P且非Q)或R)且(非R或非P或Q)(P或R)且(非Q或R)且(非R或非P或Q)(