问答题
证明公式为重言式:(¬(p→q)∧q)∧r。
问答题 证明公式为重言式:p→(p∨¬q∨r)。
填空题 设p,r为真命题,q,s为假命题,则复合命题(p→q)←→(¬r→s)的真值为()。
填空题 公式(p∧¬q)∨(¬p∧q)的成真赋值为()。