设是定义在Z5(={0,1,2,3,4})上的多项式(即系数是Z5的元素的多项式),试计算P(x)+Q(x),P(x)Q(x)。
问答题(B,•,+,ˉ,0,1)是布尔代数,∀a,b,c∈B,化简。
问答题判定下面二图是否同构?
问答题将公式F∀x(A(x)→B(x,y))→(∃yC(y)→∃zD(y,z))化为前束范式。
问答题讨论公式∀x∃yF(x,y)→∃y∀xF(x,y)的类型。
问答题化简下式:(A ∧B ∧C)∨(¬A ∧B ∧C)。