问答题
给定布尔代数〈S,⊕,,′,0,1〉,且a,b,c∈S。试证:a(a′⊕b)=ab。
您可能感兴趣的试卷
你可能感兴趣的试题
最新试题
用形式证明的方法证明下列论证的有效性:“本班有些同学是有经验的C++程序员,任何C++程序员都知道对象的概念。因此,本班有人知道对象的概念。”
题型:问答题
设G是有10个结点的连通图,边数为20,则可从G中删去()条边后使之变成树。
题型:填空题
设R为实数集,对于任意a,b∈R,a*b=a+b+ab,则下述结论中正确的是()。
题型:单项选择题
从无向完全图K5中至少删除()条边后,所得的图将成为平面图。
题型:单项选择题
群,其中,⊕为模4加法,该群有()个子群。
题型:单项选择题
给定3个命题:P:北京比天津人口多;Q:2大于1;R:15是素数。求复合命题:的真值。
题型:问答题
存在集合A与B,可以使得A∈B与A⊆B同时成立。()
题型:判断题
设<G,*>是群,若G中除幺元以外,每个元素的周期都是2,则下列叙述中不正确的是()。
题型:单项选择题
设<S,*>是半群,对∀a,b∈S,若a≠b,就有a*b≠b*a,则下列叙述中不正确的是()。
题型:单项选择题
命题逻辑演绎的CP规则为()。
题型:单项选择题