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

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

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