填空题
设A为任意的公式,B为重言式,则A∨B的类型为()。
重言式
问答题 设解释I为:个体域D={a,b,c},F(a)=F(b)=1,F(c)=0,G(a)=1,G(b)=G(c)=0,求下面公式在I下的真值:
填空题 公式共同的成真赋值为()。
填空题 设p,q均为命题,在()条件下,p与q的排斥或也可以写成p与q的相容或。