问答题
设有向图D=〈V,E〉,其中V={v1,v2,v3,v4},其邻接矩阵为 试求D中各顶点的入度与出度。
问答题 (x)((y)A(x,y)→(x)(y)(B(x,y)∧(y)(A(x,y)→B(x,y)))求前束范式
问答题 (x)(y)((z)(A(x,z)∧B(x,z))→(u)R(x,y,u),求前束范式
问答题 (x)P(x)∨(x)Q(x),求前束范式