下列等价公式成立的为()。
A.┐P∧┐QP∨Q
B.┐P∨(P∧Q)Q
C.P→(┐Q→P)┐P→(P→Q)
D.Q→(P∨Q)┐Q∧(P∨Q)
A.┐P∧┐QP∨Q
B.┐P∨(P∧Q)Q
C.P→(┐Q→P)┐P→(P→Q)
D.Q→(P∨Q)┐Q∧(P∨Q)
下列公式为永真公式的是(14)。
A.(P∨Q)→R
B.p→(P∨Q)
C.(P∨Q)→(P∧Q)
D.(P∧Q)图片R
下列命题公式中为重言式的是
Ⅰ.((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.Ⅰ、Ⅱ、Ⅲ和Ⅳ
用真值表判断下列公式的类型.
(1)p→(p∨q∨r).
(2)¬(¬q∨p)∧p.
(3)(p→q)→(¬q→¬p).
(4)(p∧r)leftrightarrow¬(p∨q).
A.p↑.rlink↑.llink:=q;p↑.rlink:=q;q↑.llink:=p;q↑.rlink:=p↑.rlink;
B.p↑.llink↑.rlink:=q;p↑.llink:=q;q↑.rlink:=p;q↑.llink:=p↑.llink;
C.q↑.llink:=p;q↑.rlink:=p↑.rlink;p↑.rlink ↑.llink:=q;p↑.rlink:=q;
D.q↑.rlink:=p;q↑.llink:=p↑.llink;p↑.llink ↑.rlink:=q;p↑.llink:=q;