子句~P∨Q和P经过消解以后,得到() A.PB.QC.~PD.PúQ
子句~P∨Q和P经过消解以后,得到()
A.P
B.Q
C.~P
D.PúQ
相关考题：
下列命题公式中为重言式的是Ⅰ．((p∨q)→r┌ →((p→r)∧(q→r))Ⅱ．(p→(q∨r))→((p→q)∧(p→r))Ⅲ．((p→q)∧(P→r))→((p→r)Ⅳ．((p∨q)∧(p→r))→(p→r)A．ⅢB．Ⅰ和ⅢC．Ⅰ和ⅡD．Ⅰ、Ⅱ、Ⅲ和Ⅳ
假设关系P和Q具有相同的关系模式，以下所列出的等价式中，______是错误的等价式。A．P∩Q=P-(P-Q)B．P∩Q=Q-(Q-P)C．P∪Q=P∪(Q-P)D．P∪Q=Q∪(Q-P)A．B．C．D．
下面哪个选项可以交换指针p和q所指的int型变量的值？A．temp = *p; *p = *q; *q = temp;B．temp = p; p = q; q = temp;C．temp = p; *p = *q; q = temp;D．temp = p; *p = *q; q = *temp;
下列字符串是否是命题公式。 （1）（P→Q）↔（¬Q→¬P） （2）（Q∧（P→Q））→（P→Q） （3）（¬Q→P）→（P→Q） （4）（P∨Q→R↔）S （5）（P∧Q）↔P （6）（P→¬P）¬P （7）（P→QR→Q） （8）¬（P↔Q）Û（P∨Q）∧¬（P∧Q） （9）（P∧¬Q）∨（¬P∧Q） （10）（（Q∧R）→S）∧（R→（P∨S））∧（R∧P→Q）→S