问答题
给定解释Ⅰ:D={2,3},L(x,y)为L(2,2)=L (3,3)=1,L (2,3)=L (3,2)=0,求谓词合式公式的真值。
您可能感兴趣的试卷
你可能感兴趣的试题
6.问答题
求出谓词公式的前束范式。
7.单项选择题任意两个不同极大项的析取式必为()。
A.永真公式
B.可满足公式
C.永假公式
D.等值公式
8.单项选择题若无向图G是有99个结点,9个连通分量,则G中的边数必()
A.≤90
B.=90
C.≥90
D.=100
E.≥100
9.单项选择题从无向完全图K5中至少删除()条边后,所得的图将成为平面图。
A.0
B.1
C.2
D.3
10.单项选择题设G=(a)为12阶循环群,则G没有()阶子群。
A.1
B.2
C.3
D.4
E.5
F.6
最新试题
设R和S是集合X上的部分序关系,证明R∩S必定也是X上的部分序关系。
题型:问答题
设集合A={{0}},则P(A)=()。
题型:单项选择题
符号化语句:“有些病人相信所有的医生,但是病人都不相信骗子,所以医生都不是骗子”,并推证其结论。
题型:问答题
设<G,*>是群,若G中除幺元以外,每个元素的周期都是2,则下列叙述中不正确的是()。
题型:单项选择题
用形式证明的方法证明下列论证的有效性:“本班有些同学是有经验的C++程序员,任何C++程序员都知道对象的概念。因此,本班有人知道对象的概念。”
题型:问答题
设无向图G中存在欧拉路,则G的奇数度数的结点数为()。
题型:填空题
求¬P∨(Q∧R)的合取范式与主合取范式。
题型:问答题
完全图K4不是平面图。()
题型:判断题
若无向图G是有99个结点,9个连通分量,则G中的边数必()
题型:单项选择题
下列前提下结论是否有效?今天或者天晴或者下雨。如果天晴,我去看电影;若我去看电影,我就不看书。故我在看书时,说明今天下雨。
题型:问答题