下列公式()为重言式。
A.Q→(P∨(P∧Q))↔Q→P
B.(Q→(P∨Q))↔(┐Q∧(P∨Q))
C.┐P∧┐Q↔P∨Q
D.(┐P∨(P∧Q))↔Q
A.Q→(P∨(P∧Q))↔Q→P
B.(Q→(P∨Q))↔(┐Q∧(P∨Q))
C.┐P∧┐Q↔P∨Q
D.(┐P∨(P∧Q))↔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.Ⅰ、Ⅱ、Ⅲ和Ⅳ
A.(P∨Q)→R
B.p→(P∨Q)
C.(P∨Q)→(P∧Q)
D.(P∧Q)图片R
用真值表判断下列公式的类型.
(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;
A.p∨q∨r
B.(p∧q)(┐ p∧q∧r)
C.p→(q∧r)
D.┐(p∧┐ q)∧(r∨q)