填空题
公式(p∧¬q)∨(¬p∧q)的成真赋值为()。
01,10
问答题 设A,B都是含命题变项p1,p2,...pn的公式,已知A∨B是重言式,能得到A与B都是重言式的结论吗?
问答题 设A,B都是含命题变项p1,p2,...pn的公式,已知A∧B是矛盾式,能得出A与B都是矛盾式的结论吗?为什么?
问答题 设A,B都是含命题变项p1,p2,...pn的公式,证明:A∧B是重言式当且仅当A与B都是重言式。