分别用真值表法和等值演算法求下面命题公式的主析取范式与主合取范式,判断各公式的类型,并写出其相应的成真赋值和成假赋值。 (1)P®(Q®R)。 (2)(P®(Q∨R))∧(ØP∨(Q«R))。
第1题:
下列公式为永真公式的是(14)。
A.(P∨Q)→R
B.p→(P∨Q)
C.(P∨Q)→(P∧Q)
D.(P∧Q)图片R
第2题:
第3题:
第4题:
若“p或者q或者r”真,其支判断的真假情况可以是()和()。
第5题:
命题形式~(p→(q←r))等值于()。
第6题:
~(p→(q∨r))等值于()。
第7题:
下列推理形式中,无效的有()。
第8题:
p真而q假r假
p假而q假r假
p假而q真r真
p假而r假
p假而q假
第9题:
第10题:
~((p∧q)→r)
p∧(~q∧~r)
p∧(~q∧r)
p∧(q∧~r)
第11题:
(((p→q)∧(r→s))∧(p∨r))→(q∨s)
(((p→q)∧(r→s))∧(∨)
((p→q)∧(p→r))∧(∨))→p
(((p→q)∧(r→q))∧(p∨r))→q
第12题:
2
3
4
5
第13题:
指针p、q和r依次指向某循环链表中三个相邻的结点,交换结点*q和结点*r在表中次序的程序段是 ( )
A.p—>next=r; q—>next=r—>next; r—>next=q;
B.p—>next=r; r—>next=q; q—>next=r—>next;
C.r—>next=q; q—>next=r—>next; p—>next=r;
D.r—>next=q; p—>next=r; q—>next=r—>next;
第14题:
第15题:
第16题:
在以下二难推理中,无效式是()
第17题:
以“(p→q)→r”和“~r”为前提,可必然推出结论()。
第18题:
如果命题p与命题q间具有矛盾关系,命题q与命题r间具有反对关系,那么命题p与命题r具有()关系。
第19题:
若“p”、“p∧q”和“~p∨~q”这三个命题形式中只有一个是真的,据此就可以断定变项p、q、r中必然为假的是()。
第20题:
第21题:
((p∨~q)∧q)→~p
((p∧q)∧r)→(p∧r)
((~p→q)∧q)→~p
((p→q)∧(r∧p))→q
(p→q)∧(r→s)∧(q∨s))→(p∨r)
第22题:
第23题:
(p∨(~q∧r))
(p∧(~q∧~r))
(p∧(~q∨~r))
(p∨(~q∨~r)
第24题:
P→Q⇔¬Q→¬P
P∨(P∧R)⇔R
P∧(P→Q)⇔Q
P→(Q→R)⇔(P∧Q)→R