问答题
求下式的前束范式
xF(x)→yG(x,y)
您可能感兴趣的试卷
最新试题
下列关于循环群<G,*>的叙述,不一定成立的是()。
题型:单项选择题
设个体域D={1,2,3,4},则谓词公式(∀x)A(x)消去量词后的等值式为()。
题型:填空题
命题逻辑演绎的CP规则为()。
题型:单项选择题
已知无向图G的结点度数之和为10,则G的边数为()。
题型:单项选择题
群,其中,⊕为模4加法,该群有()个子群。
题型:单项选择题
设集合A={{0}},则P(A)=()。
题型:单项选择题
对任意集合A,B 和C,试证明A×(B∪C)=(A×B)∪(A×C)。
题型:问答题
完全图K4不是平面图。()
题型:判断题
设P为正整数集合,∀x,y∈P,定义运算:x *y =max(x,y),则<P,*>一定不是()。
题型:单项选择题
若无向图G是有99个结点,9个连通分量,则G中的边数必()
题型:单项选择题