问答题
证明公式为重言式:p→(p∨¬q∨r)。
填空题 设p,r为真命题,q,s为假命题,则复合命题(p→q)←→(¬r→s)的真值为()。
填空题 公式(p∧¬q)∨(¬p∧q)的成真赋值为()。
问答题 设A,B都是含命题变项p1,p2,...pn的公式,已知A∨B是重言式,能得到A与B都是重言式的结论吗?