合取律：由“P,Q”可以推出“P合取Q”；假言三段论：由“如果P,那么Q“,并且”如果Q,那么R“可以推出”如果P,那么R“；逆否推理：由“如果P,那么Q”可以推出“如果非Q,那么非P”；析取律：由“P”可推出“P析取Q...

不等价，例如p真q假时

回非p析取q为假,则非p和q均为假,即p为真,q为假故p,q合取为假,析取为真,所以选a

如果p，那么q。p->q可以转换成非p析取q。按这种理解，如果p为真，q为假。那么整个式子就是假的。其他情况都是真的。而若一个条件陈述为真。则上面所示合取式必定为假。也就是说，它的否定¬（p∧¬...

其次若化简式里有蕴涵符号，则可以用蕴涵等值式A→B<=>A∨B进行化简；若求主析取范式，化简式中有p∧q,需给其配上r,可配（p∧q)∧（r∨r),这里用了零律及同一律，这里就不详说了；若求主合取范式，化简式中有...

真值形式p∨q称为“析取式”，读作“p析取q"或“p或q”，p、q都是p∨q的析取支。其中析取词“∨”的意义是：如果其两个变量中有一个真值为“真”，其结果为“真”，两个变量同时为假，其结果为“假”。

正确A且B为真则A和B都为真A或B为真则A和B其中之一为真非p且非q为假则（非P）或（非q）有一个为假即p与q有一个为真那么p或q为真

用p'表示非p,q'∨(p∨t)'∨((ps)'∨q)=q'v(p't')vp'vs'vq=I,变成合取析取p'∨(p∨t)'∨(ps)'∨q=p'v(p't')vp'vs'vq=p'vs'vq,两个式子不等价。可能是印刷错误。

p,!q);\x0d\x0aif(p==1||q==1)\x0d\x0aprintf("p析取q=1\n");\x0d\x0aelse\x0d\x0aprintf("p析取q=0\n");\x0d\x0aif(p==1&&q==1)\x0d\x0aprintf("p合取q=1\n");\x0d\x...

(1)p并且非q，就是满足p，同时也在要不属于q的情况；这个就是在满足p的范围内，把其中同时也满足q的情况去掉，即p-p∩q。(2)非p或者q，就是不是满足p的情况，再加上满足q的情况；这个可以理解为不是p的...