设p,q均为命题，在 （) 下，p,q的排斥或也可以写成p,q的相容或.

A、PQ

B、PQ

C、(PQ)(PQ)

D、(PQ)(PQ)

设p，q为命题变项，则(ㄱpq)的成真赋值为()。

已知命题公式PQ，其逆换式(contraposition)为().

A、PQ

B、QP

C、PQ

D、QP

已知命题公式PQ，其逆反式(converse)是().

A、QP

B、PQ

C、QP

D、PQ

已知命题公式PQ，其反换式(inverse)为().

A、PQ

B、QP

C、PQ

D、QP

求命题公式（PQ）(PQ)的真值表，并写出主析取范式。

A.若命题p为假，q为假，则pq为假

B.若命题p为假，q为真，则pq为假

C.若命题p为真，q为假，则pq为假

D.若命题p为假，q为假，则pq为真

设B为含命题变项p，q，r的矛盾式，则公式B∧((pq)→r)的类型为()。