A.二难推理的简单构成式
B.二难推理的复杂构成式
C.选言推理的肯定否定式
D.选言推理的否定肯定式
E.联言推理的组合式

A.s
B.﹁q
C.﹁q∧s
D.﹁r∧s
E.（﹁q∨﹁r）∧s

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

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

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

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

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

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