当p→q、q→p和﹁p∨﹁q三个公式均真时，下列公式取值为真的是（）。

多项选择题当p→q、q→p和﹁p∨﹁q三个公式均真时，下列公式取值为真的是（）。

A.p→﹁q
B.﹁p→q
C.q→﹁p
D.p↔q
E.﹁p∧﹁q

1.多项选择题当p→﹁q取值为假时，下列形式中取值为真的是（）。

A．p→q
B．p←q
C．p∧q
D．p∨q
E．p↔q

2.单项选择题在下列各组命题形式中，具有不可同真但可同假关系的是（）。

A.SAP与SOP
B.p→q与﹁p→﹁q
C.p∨q与﹁p∨﹁q
D.p∧q与p∧﹁q

3.单项选择题当p∨﹁q和p↔q仅有一真时，则下列命题形式为真的是（）。

A.p∧q
B.p∧﹁q
C.﹁p∧q
D.﹁p∧﹁q

4.单项选择题下列与p∨﹁q想等值的命题是（）。

A.﹁（p∧﹁q）
B.﹁p∨q
C.﹁（﹁p∧q）
D.﹁（p→﹁q）

5.单项选择题在下列命题形式中，与p∨q相矛盾的是（）。

A.﹁p∨﹁q
B.﹁p→q
C.﹁p∧﹁q
D.p←q

6.单项选择题“张云不是钢铁工人，也不是石油工人”与“如果张云是钢铁工人，那么张云不是石油工人”，这两个命题在真值方面（）

A.可同真并且可同假
B.可同真但不可同假
C.不可同真但可同假
D.不可同真并不可同假

7.单项选择题在以下命题形式中，与p→q具有等值关系是（）。

A.p∧q
B.﹁p∧q
C.p∨q
D.﹁p∨q

8.填空题以p→（）和q为前提进行推理，结论是（）。

9.填空题以“如果p那么q”和“如果r那么s”为假言前提进行二难推理，则推出的结论可以是（）或（）。

10.填空题二难推理简单构成式的两个假言前提的前件（）、后件（），简单破坏式的两个假言前提的前件（）而后件（）。