A.A∧﹁BB.﹁A∧BC.A∨BD.A∧BE.﹁A∧﹁B
多项选择题以PEM 为一前提，增补以下哪一命题为另一前提，可必然推出SI﹁P。（）
A.SAMB.SOMC.SIMD.SEME.MAS
多项选择题若p∨q 为假，则下列公式中取值为真的是（）。
A.p→qB.p↔qC.p∧qD.﹁p∨﹁qE.﹁p∧﹁q
