多项选择题 以﹁p→（q∧r）为一个前提，如果要必然地推出p∧s，则可增加的另一个前提是（）。

多项选择题 以r←（p∨q）为一个前提，如果要有效地推得r，则可增加的另一个前提为（）。

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