(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)。
问答题用等值演算法判定公式P(Q ∧R)→P ∨Q ∨R 是永真式?永假式?