离散数学答案 第十章 格和布尔代数
第十章
格和布尔代数
习题10.1 1.解 ⑴不是,因为L 中的元素对{2,3}没有最小上界;
⑵是,因为L={1,2,3,4,6,9,12,18,36}任何一对元素a ,b ,都有最小上界和最大下界;
⑶是,与⑵同理;
⑷不是,因为L 中的元素对{6,7}没有最小上界不存在最小上界。
2.证明 ⑴因为,a ≤b,所以,a ∨b=b ;又因为,b ≤c,所以,b ∧c=b 。故a ∨b=b ∧c ;
⑵因为,a ≤b ≤c,所以,a ∧b=a,b ∧c=b,而a ∨b=b ,因此,(a ∧b )∨(b ∧c )=b ;
又a ∨b=b,b ∨c=c,而b ∧c=b, 因此,(a ∨b )∧(b ∨c )=b 。即
(a ∧b)∨(b ∧c)=(a ∨b)∧(b ∨c)。
习题10.2
1.解 由图1知:<S 1,≤>不是<L,≤>的子格,这是因为,e ∨f=g ∉S 1;
<S 2,≤>不是<L,≤>的子格, ∵e ∧f=c ∉S 2;
<S 3,≤>是<L,≤>的子格.
2.解 S 24的包含5个元素的子格有如下的8个:
S 1={1,3,6,12,24}, S 2={1,2,6,12,24}, S 3={1,2,4,12,24}, S 4={1,2,4,8,24},
S 5={1,2,3,6,12}, S 6={1,2,4,6,12}, S 7={2,4,6,12,24}, S 7={2,4,8,12,24}.
3.证明 因为,一条线上的任何两个元素都有(偏序)关系,所以,都有最大下界和最小上界,故它是格,又因为它是
4.证明 由(10-4)有,a ∧b ≤a ,由已知a ≤c ,由偏序关系的传递性有,a ∧b ≤c ;
同理 a ∧b ≤d 。
由(10-5)和以上两式有,a ∧b ≤c ∧d .
5.证明 因为由(10-4)有,a ∧b ≤a ,因此,
(a ∧b )∨(c ∧d )≤a ∨(c ∧d ) ①
由分配不等式有,
a ∨(c ∧d )≤(a ∨c )∧(a ∨d ) ②
再由由(10-4)有,
(a ∨c )∧(a ∨d ) ≤a ∨c ③
由偏序关系的传递性和①②③则有,
(a ∧b )∨(c ∧d )≤a ∨c
同理 (a ∧b )∨(c ∧d )≤b ∨d
因此有, (a ∧b )∨(c ∧d )≤(a ∨c ) ∧(b ∨d )。
习题10.3
1.解 ⑴ 是,全上界是24,全下界是1;
⑵1的补元是24;3的补元是8;8的补元是3,4、6没有补元。
图1
图2
2.解 图3是两个格的哈斯图,其中图⑴是有补格但不是分配格的例子;图⑵是分配格但不是有补格的例子。
3.证明 先证充分性。由已知条件知,对于任何的a ,b ,c ∈L ,有(a ∨b )∧c ≤a ∨(b ∧c ),
因此和等幂律、交换律可得,
(a ∨b )∧c=((b ∨a )∧c)∧c≤(b ∨(a ∧c))∧c
=((a ∧c)∨b)∧c≤(a ∧c)∨(b ∧c) ①
又因为,(a ∧c)≤(a ∨b)∧c 且(b ∧c)≤(a ∨b)∧c ,
所以, (a ∧c)∨(b ∧c)≤(a ∨b)∧c ②
由①②可得, (a ∧c)∨(b ∧c)=(a ∨b)∧c
再由交换律得到, c ∧(a ∨b)=(c ∧a)∨(c ∧b) ③
由此式容易证明
c ∨(a ∧b)=(c ∨a)∧(c ∨b) ④
由③④可知它是分配格。
再证必要性。因为
(a ∨b )∧c =(a ∧c )∨(b ∧c )≤a ∨(b ∧c )。
4.证明 因为,∧∧=∨∧∧b a b a b a ()()(000)()=∨=∧∧∨b b a a ;
同理有,)()()(b a a b a b a ∨∨=∨∨∧111)(=∨=∨∧∧b a b ;
又因为补元素是唯一的,故b a b a ∨=∧)(成立。
习题10.4
1.解 是布尔代数,因为是有补分配格。
2.证明 因为,是布尔代数,所以,运算-,∨,∧在B 上都是封闭的,因此,由运算 的定义可知,运算 在B 上也是封闭的。
又运算∨,∧都满足交换律。因此,对于任意的a,b B,
)()(b a b a b a ∧∨∧=⊕=))(())((b b a a b a ∨∧∧∨∧
=)()()()(b a b a b a a b ∨∧∨=∨∧∨
由其对称性可知 满足交换律。下面证明运算 满足结合律,对于任意的a,b,c B 由上式则有
c b a b a c b a ⊕∨∧∨=⊕⊕)]()[()(
))()(())]()([(c b a b a c b a b a ∨∨∧∨∧∨∨∧∨=
])()[()()(c b a b a c b a c b a ∨∧∨∧∧∨∨∧∨∨=
)()()()(c b a c b a c b a c b a ∨∨∧∨∨∧∨∨∧∨∨=
同理可得
)(c b a ⊕⊕)()()()(c b a c b a c b a c b a ∨∨∧∨∨∧∨∨∧∨∨=
即,=⊕⊕c b a )()(c b a ⊕⊕,亦即 满足结合律。
下面再证0是关于 的单位元。事实上对于任意的a B ,
a a a a a =∨∧=∧∨∧=⊕0)1()0()0(0。
最后证明任意的a B 关于运算 都可逆,且其逆元就是a 自身,事实上
000)()(=∨=∧∨∧=⊕a a a a a a
综上所述,>⊕<,B 是交换群。
复习题十
1.证明 显然,a ,b ∈B ,所以,B 非空。
对于任意的x , y ∈B ,则a ≤x ≤b , a ≤ y ≤b ,由格的保序性和等幂律则有,
a ≤x ∨y ≤
b , a ≤x ∧y ≤b
即集合B 对于运算∨和∧是封闭的。
因此,是
2.证明 因为,
((a ∧b )∨(a ∧c))∧((a ∧b)∨(b ∧c))≥(a ∧b)∨(a ∧b ∧c)=a ∧b ①
(a ∧b )∨(a ∧c)≤a ∧(b ∨c) ②
(a ∧b )∨(b ∧c)≤b ∧(a ∨c) ③
由②③和格的保序性可得,
((a ∧b)∨(a ∧c))∧((a ∧b)∨(b ∧c))≤(a ∧(b ∨c))∧(b ∧(a ∨c)
=a ∧b ∧(b ∨c)∧(a ∨c)=a ∧b ④
由①④和反对称性则有,((a ∧b )∨(a ∧c ))∧((a ∧b )∨(b ∧c ))= a ∧b 。
3.证明 因为
(a ∧b )∨(b ∧c )∨(c ∧a ) ≤ [((a ∧b )∨b )∧((a ∧b )∨c )]∨(c ∧a )
=[b ∧((a ∧b )∨c )]∨(c ∧a ) ≤[b ∧(a ∨c )∧(b ∨c )]∨(c ∧a )
=[b ∧(a ∨c )]∨(c ∧a ) ≤(b ∨(c ∧a ))∧((a ∨c )∨(c ∧a ))
=(b ∨(c ∧a ))∧(a ∨c ) ≤ (b ∨c )∧(b ∨a )∧(a ∨c )
= (a ∨b )∧(b ∨c )∧(c ∨a )。
4.证明 因为有限格都是有界格,而有界格必存在最大元素和最小元素,故有限格一定有最大元素和最小元素。
5.证明 因为,a ≤b,所以,a ∨b=b ;因此有,a ∨(b ∧c)≤(a ∨b)∧(a ∨c)=b ∧(a ∨c)。
6.证明 因为,h 将运算∨传送到运算∪,将运算“-”传送到运算“'”,所以,对于任意的x ,x 1,x 2∈B 1有:
h (x 1∨x 2)=h (x 1)∪h (x 2) ①
))(()('=x h x h ②
所以,对于任意的a ,b ∈B 1,而)(b b a ∨=∧,因此有:
))()(())(())(()('⋃='∨=∨=∧b h a h b a h b a h b a h
)()()))(())(((b h a h b h a h ⋂=''⋃'=。
即h 将运算∧传送到运算∩。
7.证明 由习题10.4第2题可知是一个交换群。由于,在布尔代数中∧是可结合的且是可交换的,由*运算的定义可知,*是可结合的且是可交换的。由*运算的定义可知可进一步看出,关于*运算的单位元是布尔代数的全上界1。事实上,对于任意的a B,有
a a a =∧=*11
因此,要证明是一个含幺交换环,只需证明*对⊕满足分配律。事实上,
对于任意的a,b,c B,
)()()]()[()(c b a c b a c b c b a c b a ∧∧∨∧∧=∧∨∧∧=⊕*
)()()()(c a b a c a b a ∧⊕∧=*⊕*
))()(())()((c a b a c a b a ∧∧∧∨∧∧∧=
))()(())()((c a b a c a b a ∧∧∨∨∨∧∧=
)()()()(c b a c a a c b a a b a ∧∧∨∧∧∨∧∧∨∧∧=
)()(c b a c b a ∧∧∨∧∧=
即 =⊕*)(c b a )()(c a b a *⊕*
综上所述,是一个含幺交换环。
离散数学中的布尔函数和布尔代数
离散数学是一门研究离散结构和离散对象的数学学科,它在计算机科学等领域 扮演着重要的角色。布尔函数和布尔代数是离散数学中的重要概念之一,它们 在逻辑电路设计、计算机编程等方面具有广泛的应用。 布尔函数是一种将布尔域上的值映射为布尔域上的值的函数。布尔域上的值只 有两个:真和假。布尔函数的输入和输出都是布尔值。布尔函数可以通过真值表、函数表达式或者逻辑电路图表示。常见的布尔运算有与运算、或运算、非 运算等。布尔函数可以定义在不同的布尔变量上,而布尔变量可以取真或假两 个值。通过组合不同的布尔运算,可以构造出复杂的布尔函数。 布尔代数是研究布尔函数性质和运算规则的代数系统。布尔代数的基本操作有 与运算、或运算、非运算等。与运算、或运算和非运算是布尔函数的基本运算,在布尔代数中具有特殊的性质。例如,与运算满足交换律、结合律和分配律; 或运算满足交换律、结合律和分配律;非运算满足德摩根定律。布尔代数还有 很多其他的运算规则,如吸收律、零元律、幂等律等。这些运算规则可以用来 简化布尔函数,使其更加简洁明了。 布尔函数和布尔代数在逻辑电路设计中起着重要的作用。逻辑电路是一种基础 的电子电路,用来完成逻辑运算。布尔函数可以用来描述逻辑电路的功能,布 尔代数可以用来简化逻辑电路。通过布尔函数和布尔代数可以设计出各种复杂 的逻辑电路,如逻辑门、多路选择器、时序电路等。逻辑电路在计算机硬件中 广泛应用,是计算机工作的基础。因此,研究布尔函数和布尔代数不仅有助于 理解离散数学的基本概念,也对计算机科学和工程领域有着重要的实际意义。 此外,布尔函数和布尔代数在计算机编程中也具有重要的应用。计算机程序是 一系列指令的集合,通过执行这些指令实现特定的功能。布尔函数可以用来描 述程序中的条件和逻辑关系,判断某个条件是否成立,从而确定程序的执行路径。布尔代数可以用来简化程序的逻辑表达式,使程序更加高效和可读。在编 程语言中,布尔变量和布尔运算是基础数据类型和基本运算符之一,它们与布 尔函数和布尔代数密切相关。 总之,离散数学中的布尔函数和布尔代数是研究离散结构和离散对象的重要概念。它们在逻辑电路设计、计算机编程等方面具有广泛的应用。深入理解布尔 函数和布尔代数对于理解离散数学的基本原理,以及应用于计算机科学和工程 领域具有重要的价值。
离散数学答案 第十章 格和布尔代数
第十章 格和布尔代数 习题10.1 1.解 ⑴不是,因为L 中的元素对{2,3}没有最小上界; ⑵是,因为L={1,2,3,4,6,9,12,18,36}任何一对元素a ,b ,都有最小上界和最大下界; ⑶是,与⑵同理; ⑷不是,因为L 中的元素对{6,7}没有最小上界不存在最小上界。 2.证明 ⑴因为,a ≤b,所以,a ∨b=b ;又因为,b ≤c,所以,b ∧c=b 。故a ∨b=b ∧c ; ⑵因为,a ≤b ≤c,所以,a ∧b=a,b ∧c=b,而a ∨b=b ,因此,(a ∧b )∨(b ∧c )=b ; 又a ∨b=b,b ∨c=c,而b ∧c=b, 因此,(a ∨b )∧(b ∨c )=b 。即 (a ∧b)∨(b ∧c)=(a ∨b)∧(b ∨c)。 习题10.2 1.解 由图1知:<S 1,≤>不是<L,≤>的子格,这是因为,e ∨f=g ∉S 1; <S 2,≤>不是<L,≤>的子格, ∵e ∧f=c ∉S 2; <S 3,≤>是<L,≤>的子格. 2.解 S 24的包含5个元素的子格有如下的8个: S 1={1,3,6,12,24}, S 2={1,2,6,12,24}, S 3={1,2,4,12,24}, S 4={1,2,4,8,24}, S 5={1,2,3,6,12}, S 6={1,2,4,6,12}, S 7={2,4,6,12,24}, S 7={2,4,8,12,24}. 3.证明 因为,一条线上的任何两个元素都有(偏序)关系,所以,都有最大下界和最小上界,故它是格,又因为它是
离散数学答案解析
离散数学 1、在由3个元素组成的集合上,可以有 ( B ) 种不同的关系。 [A] 3 [B] 8 [C]9 [D]27 2、设{}{}1,2,3,5,8,1,2,5,7A B A B ==-=,则( D ) 。 [A] 3,8 [B]{}3 [C]{}8 [D]{}3,8 3、若X 是Y 的子集,则一定有(D )。 [A]X 不属于Y [B]X ∈Y [C]X 真包含于 Y [D]X∩Y=X 4、下列关系中是等价关系的是( C )。 [A]不等关系 [B]空关系 [C]全关系 [D]偏序关系 5、对于一个从集合A 到集合B 的映射,下列表述中错误的是( C )。 [A]对A 的每个元素都要有象 [B] 对A 的每个元素都只有一个象 [C]对B 的每个元素都有原象 [D] 对B 的元素可以有不止一个原象 6、设p:小李努力学习,q:小李取得好成绩,命题“除非小李努力学习,否则他不能取得好成绩”的符号化形式为( C )。 [A]p→q [B]q→p [C]┐q→┐p [D]┐p→q 7、设A={a,b,c},则A 到A 的双射共有( B )。 [A]3个 [B]6个 [C]8个 [D]9个 8、一个连通图G 具有以下何种条件时,能一笔画出:即从某结点出发,经过图中每边仅一次回到该结点( A )。 [A] G 没有奇数度结点 [B] G 有1个奇数度结点 [C] G 有2个奇数度结点 [D] G 没有或有2个奇数度结点 9、设〈G,*〉是群,且|G|>1,则下列命题不成立的是( B )。 [A] G 中有幺元 [B] G 中么元是唯一的 [C] G 中任一元素有逆元 [D] G 中除了幺元外无其他幂等元 10、令p :今天下雪了,q :路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为( D ) [A] p →┐q [B] p ∨┐q [C] p ∧q [D] p ∧┐q 11、设图G=
《离散数学》复习练习题带答案(二)
《离散数学》试题带答案 试卷十四试题与答案 一、 填空 10% (每小题 2分) 1、 设>-∧∨<,,,A 是由有限布尔格≤><,A 诱导的代数系统,S 是布尔格 ≤> <,A ,中所有原子的集合,则 >-∧∨<,,,A ~ 。 2、 集合S={α,β,γ,δ}上的二元运算*为 那么,代数系统中的幺元是 , α的逆元是 。 3、 设I 是整数集合,Z 3是由模3的同余类组成的同余类集,在Z 3上定义+3如下: ]3m od )[(][][3j i j i +=+,则+3 的运算表为 ;
C 、1,≠∈?x Q x 时有逆元1 -x ; D 、所有元素都无逆元。 2、 设S={0,1},*为普通乘法,则< S , * >是( )。 A 、 半群,但不是独异点; B 、只是独异点,但不是群; C 、群; D 、环,但不是群。 3、图 给出一个格L ,则L 是( )。 A 、分配格; B 、有补格; C 、布尔格; D 、 A,B,C 都不对。 3、 有向图D=是群中幺元。( ) 3、 设},, 3|{均为有理数b a b a x x A +==, +,·为普通加法和乘法,则代数系
离散数学复习题参考带答案
一、选择题:(每题2’) 1、下列语句中不是命题的有()。 A.离散数学是计算机专业的一门必修课。B.鸡有三只脚。 C.太阳系以外的星球上有生物。D.你打算考硕士研究生吗? 2、命题公式A与B是等价的,是指()。 A.A与B有相同的原子变元B.A与B都是可满足的 C.当A的真值为真时,B的真值也为真D.A与B有相同的真值 3、所有使命题公式P∨(Q∧?R)为真的赋值为()。 A.010,100,101,110,111 B.010,100,101,111 C.全体赋值D.不存在 4、合式公式?(P∧Q)→R的主析取范式中含极小项的个数为()。 A.2 B.3 C.5 D.0 5、一个公式在等价意义下,下面哪个写法是唯一的()。 A.析取范式B.合取范式C.主析取范式D.以上答案都不对 6、下述公式中是重言式的有()。 A.(P∧Q) → (P∨Q) B.(P?Q) ? (( P→Q)∧(Q→P)) C.?(P →Q)∧Q D.P →(P∧Q) 7、命题公式(?P→Q) →(?Q∨P)中极小项的个数为(),成真赋值的个数为()。 A.0 B.1 C.2 D.3 8、若公式(P∧Q)∨(?P∧R) 的主析取范式为m001∨m011∨m110∨m111则它的主合取范式为()。 A.m001∧m011∧m110∧m111B.M000∧M010∧M100∧M101 C.M001∧M011∧M110∧M111D.m000∧m010∧m100∧m101 9、下列公式中正确的等价式是()。 A.?(?x)A(x) ? (?x)?A(x) B.(?x) (?y)A(x, y) ? (?y) (?x) A(x, y) C.?(?x)A(x) ? (?x)?A(x) D.(?x) (A(x) ∧B(x)) ? (?x) A(x) ∨(?x) B(x) 10、下列等价关系正确的是()。 A.?x ( P(x) ∨Q(x) ) ??x P(x) ∨?x Q(x) B.?x ( P(x) ∨Q(x) ) ??x P(x) ∨?x Q(x) C.?x ( P(x) →Q ) ??x P(x) → Q D.?x ( P(x) →Q ) ??x P(x) → Q 11、设个体域为整数集,下列真值为真的公式是()。 A.?x?y(x·y=1)B.?x?y(x·y=0)C.?x?y(x·y=y)D.?x?y(x+y=2y) 12、设S={?,{1},{1,2}},则有()?S。 A.{{1,2}} B.{1,2 } C.{1} D.{2} 13、下列是真命题的有()。 A.{a}?{{a}} B.{{?}}∈{?,{?}} C.?∈{?,{?}} D.{?}∈{?,{?}} 14、设S={?,{1},{1,2}},则2S有()个元素。 A.3 B.6 C.7 D.8
离散数学练习题1答案
离散数学练习题1答案 一、单项选择题 1—4 D C B C 6—10 A C B C D A 二、填空题 1. n n 2. P 、Q 的真值同时为1 3. * a b c a c a b b a b c c b c a 4. 奇 5. 12 6. Q P ?∧ 7. 9 8. 14 9. c 10. P Q ? 或 Q P ? 11. b 三、判断题 1—5 F F T T F 四、计算题 1.设G 是平面图,有n 个顶点,m 条边,f 个面,k 个连通分支,证明:1+=+-k f m n 。 证明:对于图G 的每个连通分支都是连通平面图,因此由欧拉公式,有 2111=+-f m n 2222=+-f m n … … 2=+-k k k f m n 其中i i i f m n , , 分别是第i 个连通分支中的顶点数、边数和面数,则 1 , , 212121-+=+++=+++=+++k f f f f m m m m n n n n k k k ΛΛΛ 将上述k 个等式相加,有k k f m n 21=-++-,即 1+=+-k f m n 2.化简下列布尔表达式。 (1) ()() ()c b c b a b a ?+??+? (2) ()()() c b a c b a ?+?+? 解:(1) ()()()()()b b c a c a b c c a a b c b c b a b a =?=+++?=+?+?=?+??+?1 (2) ()()()()()()()b a c b a c c b a c b a c b a +?=+??+?=?+?+? 3. 证明在格中,若c b a ≤≤,则有()()()()c a b a c b b a ⊕?⊕=?⊕?。 证明: 因为c b a ≤≤,所以a b a =?,b c b =?,b b a =⊕,c c a =⊕,
离散数学布尔代数
离散数学布尔代数 离散数学(discrete mathematics)是研究离散量的结构及其相互关系的数学学科, 是现代数学的一个重要分支。离散的含义是指不同的连接在一起的元素,主要是研究基于 离散量的结构和相互间的关系,其对象一般是有限个或可数个元素。 简介 离散数学在各学科领域,特别在计算机科学与技术领域有著广为的应用领域,同时离 散数学也就是计算机专业的专业课程,例如程序设计语言、数据结构、操作系统、编程技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。 通过离散数学的自学,不但可以掌控处置线性结构的叙述工具和方法,为时程课程的自学 创造条件,而且可以提升抽象思维和严苛的逻辑推理能力,为将来参予创新性的研究和研 发工作奠定稳固的基础。 发展 随着信息时代的到来,工业革命时代以微积分为代表的已连续数学占到主流的地位已 经出现了变化,离散数学的重要性逐渐被人们重新认识。离散数学课程所传授的思想和方法,广为地彰显在计算机科学技术及有关专业的诸领域,从科学计算至信息处理,从理论 计算机科学至计算机应用技术,从计算机软件至计算机硬件,从人工智能至心智系统,无 不与离散数学密切相关。由于数字电子计算机就是一个线性结构,它就可以处置线性的或 线性化后了的数量关系,因此,无论计算机科学本身,还是与计算机科学及其应用领域 密切相关的现代科学研究领域,都遭遇着如何对线性结构建立相应的数学模型;又如何将 已用已连续数量关系创建出来的数学模型线性化,从而可以由计算机予以处置。 离散数学是传统的逻辑学,集合论(包括函数),数论基础,算法设计,组合分析, 离散概率,关系理论,图论与树,抽象代数(包括代数系统,群、环、域等),布尔代数,计算模型(语言与自动机)等汇集起来的一门综合学科。离散数学的应用遍及现代科学技 术的诸多领域。 离散数学也可以说道就是计算机科学的基础核心学科,在离散数学中的存有一个知名 的典型例子-四色定理又称四色悖论,这就是世界近代三小数学难题之一,它就是在年, 由英国的一名绘图员弗南西斯·格思里明确提出的,他在展开地图着色时,辨认出了一个 现象,“每幅地图都可以仅用四种颜色着色,并且共同边界的国家都可以被着上时相同的 颜色”。那么这若想从数学上展开证明呢?多年后的年,肯尼斯·阿佩尔(kenneth appel)和沃尔夫冈·哈肯(wolfgang haken)采用计算机辅助排序,用了个小时和亿次 的推论,终于证明了四色定理,震惊世界,这就是离散数学与计算机科学相互协作的结果。 离散数学可以看成是构筑在数学和计算机科学之间的桥梁,因为离散数学既离不开集 合论、图论等数学知识,又和计算机科学中的数据库理论、数据结构等相关,它可以引导 人们进入计算机科学的思维领域,促进了计算机科学的发展。
离散数学形考任务3布尔代数部分概念及性质
离散数学形考任务3布尔代数部分概念及 性质 布尔代数是一种数学分支,研究的是逻辑运算以及相关的逻辑 结构和代数系统。它是以数学家___(___ Boole)的名字命名的。 布尔代数在计算机科学、电路设计、逻辑推理等领域有广泛的应用。 1.布尔代数的基础概念 1.1 变量(Variable) 在布尔代数中,变量可以取两个值中的一个,分别为0和1.这 些值分别代表了真和假。 1.2 运算符(Operators) 布尔代数使用运算符进行逻辑运算,常见的包括与(AND)、或(OR)、非(NOT)等。这些运算符可以用来对变量进行逻辑 操作。
2.布尔代数的性质 2.1 结合律(Associative Law) 在布尔代数中,与和或运算符满足结合律。即,对于任意的布尔变量a、b和c,以下等式成立: a AND ( b AND c) = (a AND b) AND c a OR ( b OR c) = (a OR b) OR c 2.2 分配律(Distributive Law) 在布尔代数中,与和或运算符满足分配律。即,对于任意的布尔变量a、b和c,以下等式成立: a AND ( b OR c) = (a AND b) OR (a AND c) a OR ( b AND c) = (a OR b) AND (a OR c) 2.3 吸收律(n Law)
在布尔代数中,吸收律是与运算和或运算之间的关系。即,对于任意的布尔变量a和b,以下等式成立: a AND (a OR b) = a a OR (a AND b) = a 2.4 互补律(Complement Law) 在布尔代数中,非运算满足互补律。即,对于任意的布尔变量a,以下等式成立: NOT(NOT a) = a 3.总结 布尔代数是逻辑运算的数学基础,它提供了一套规则和性质,可以用来描述和分析逻辑问题。熟悉布尔代数的概念和性质对于理解计算机科学和逻辑推理等领域的相关知识非常重要。
大学_《离散数学》课后习题答案
《离散数学》课后习题答案 《离散数学》简介 1、集合论部分:集合及其运算、二元关系与函数、自然数及自然数集、集合的基数 2、图论部分:图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用 3、代数结构部分:代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数 4、组合数学部分:组合存在性定理、基本的计数公式、组合计数方法、组合计数定理 5、数理逻辑部分:命题逻辑、一阶谓词演算、消解原理 离散数学被分成三门课程进行教学,即集合论与图论、代数结构与组合数学、数理逻辑。教学方式以课堂讲授为主,课后有书面作业、通过学校网络教学平台发布课件并进行师生交流。 《离散数学》学科内容 随着信息时代的到来,工业革命时代以微积分为代表的连续数学占主流的地位已经发生了变化,离散数学的重要性逐渐被人们认识。离散数学课程所传授的思想和方法,广泛地体现在计算机科学技术及相关专业的诸领域,从科学计算到信息处理,从理论计算机科学到计算机应用技术,从计算机软件到计算机硬件,从人工智能到认知系统,无不与离散数学密切相关。由于数字电子计算机是一个离散结构,它只能处理离散的或离散化了的数量关系,因此,无论计算机科学
本身,还是与计算机科学及其应用密切相关的现代科学研究领域,都面临着如何对离散结构建立相应的数学模型;又如何将已用连续数量关系建立起来的数学模型离散化,从而可由计算机加以处理。 离散数学是传统的逻辑学,集合论(包括函数),数论基础,算法设计,组合分析,离散概率,关系理论,图论与树,抽象代数(包括代数系统,群、环、域等),布尔代数,计算模型(语言与自动机)等汇集起来的一门综合学科。离散数学的应用遍及现代科学技术的诸多领域。 离散数学也可以说是计算机科学的基础核心学科,在离散数学中的有一个著名的典型例子-四色定理又称四色猜想,这是世界近代三大数学难题之一,它是在1852年,由英国的一名绘图员弗南西斯格思里提出的,他在进行地图着色时,发现了一个现象,“每幅地图都可以仅用四种颜色着色,并且共同边界的国家都可以被着上不同的颜色”。那么这能否从数学上进行证明呢?100多年后的1976年,肯尼斯阿佩尔(Kenneth Appel)和沃尔夫冈哈肯(Wolfgang Haken)使用计算机辅助计算,用了1200个小时和100亿次的'判断,终于证明了四色定理,轰动世界,这就是离散数学与计算机科学相互协作的结果。 离散数学可以看成是构筑在数学和计算机科学之间的桥梁,因为离散数学既离不开集合论、图论等数学知识,又和计算机科学中的数据库理论、数据结构等相关,它可以引导人们进入计算机科学的思维领域,促进了计算机科学的发展。
离散数学期末考试试题及答案
离散数学期末考试试题及答案 离散数学期末考试试题及答案 离散数学是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支。下面是小编整理的离散数学期末考试试题及答案,欢迎阅读参考! 一、【单项选择题】 (本大题共15小题,每小题3分,共45分)在每小题列出的四个选项中只有一个选项是符合题目要求的,请将正确选项前的字母填在答题卷相应题号处。 1、在由3个元素组成的集合上,可以有 ( ) 种不同的'关系。 [A] 3 [B] 8 [C]9 [D]27 2、设A1,2,3,5,8,B1,2,5,7,则AB( )。 [A] 3,8 [B]3 [C]8 [D]3,8 3、若X是Y的子集,则一定有( )。 [A]X不属于Y [B]X∈Y [C]X真包含于Y [D]X∩Y=X 4、下列关系中是等价关系的是( )。 [A]不等关系 [B]空关系 [C]全关系 [D]偏序关系 5、对于一个从集合A到集合B的映射,下列表述中错误的是( )。 [A]对A的每个元素都要有象 [B] 对A的每个元素都只有一个象 [C]对B的每个元素都有原象 [D] 对B的元素可以有不止一个原象 6、设p:小李努力学习,q:小李取得好成绩,命题“除非小李努力学习,否则他不能取得好成绩”的符号化形式为( )。 [A]p→q [B]q→p [C]┐q→┐p [D]┐p→q 7、设A={a,b,c},则A到A的双射共有( )。 [A]3个 [B]6个 [C]8个 [D]9个 8、一个连通G具有以下何种条件时,能一笔画出:即从某结点出发,经过中每边仅一次回到该结点( )。
[A] G没有奇数度结点 [B] G有1个奇数度结点 [C] G有2个奇数度结点 [D] G没有或有2个奇数度结点 9、设〈G,*〉是群,且|G|>1,则下列命题不成立的是( )。 [A] G中有幺元 [B] G中么元是唯一的 [C] G中任一元素有逆元 [D] G中除了幺元外无其他幂等元 10、令p:今天下雪了,q:路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为( ) [A] p→┐q [B] p∨┐q [C] p∧q [D] p∧┐q 11、设G=的结点集为V={v1,v2,v3},边集为E={,}.则G的割(点)集是( )。 [A]{v1} [B]{v2} [C]{v3} [D]{v2,v3} 12、下面4个推理定律中,不正确的为( )。 [A]A=>(A∨B) (附加律) [B](A∨B)∧┐A=>B (析取三段论) [C](A→B)∧A=>B (假言推理) [D](A→B)∧┐B=>A (拒取式) 13、在右边中过v1,v2的初级回路有多少条( ) [A] 1 [B] 2 [C] 3 [D] 4 14、若R,,是环,且R中乘法适合消去律,则R是( )。 [A]无零因子环 [C]整环 [B]除环 [D]域 15、无向G中有16条边,且每个结点的度数均为2,则结点数是( )。 [A]8 [B]16 [C]4 [D]32 二、【判断题】 (本大题共8小题,每小题3分,共24分)正确的填T,错误的填F,填在答题卷相应题号处。 16、是空集。 ( ) 17、设S,T为任意集合,如果S—T=,则S=T。 ( ) 18、在命题逻辑中,任何命题公式的主合取范式都是存在的,并且是唯一的。 ( )
北邮离散数学-阶段作业一二三
阶段作业一 一、判断题(共5道小题,共分) 1.命题公式的真值分别为0,1,则的真值为0 A.正确 B.错误 知识点:命题逻辑 学生答案:[A;] 得分:[10]试题分值: 提示: 2.设P,Q都是命题公式,则 A.正确 B.错误 知识点:命题逻辑 学生答案:[A;] 得分:[10]试题分值: 提示: 3.空集是任何集合的真子集. A.正确 B.错误 知识点:集合 学生答案:[B;] 得分:[10]试题分值: 提示: 4.设为集合上的等价关系, 则 A.正确 B.错误
学生答案:[B;] 得分:[10]试题分值: 提示: 5.设为集合上的等价关系, 则也是集合上的等价关系 C.正确 D.错误 知识点:关系 学生答案:[A;] 得分:[10]试题分值: 提示: 二、单项选择题(共5道小题,共分) 1.下面哪个联结词不可交换 A. B. C. D. 知识点:命题逻辑 学生答案:[B;] 得分:[10]试题分值: 提示: 2.下列各式中不正确的是 A. B. C. D.
学生答案:[C;] 得分:[10]试题分值:提示: 3.设为集合,若,则一定有 A. B. C. D. 知识点:集合 学生答案:[C;] 得分:[10]试题分值:提示: 4.设为集合上的等价关系,对任意,其等价类为 A.空集 B.非空集 C.是否为空集不能确定 D. 知识点:关系 学生答案:[B;] 得分:[10]试题分值:提示: 5.设A,B是集合,则下列说法中()是正确的. A.A到B的关系都是A到B的映射 B.A到B的映射都是可逆的 C.A到B的双射都是可逆的 D.时必不存在A到B的双射
大学离散数学期末重点知识点总结(考试专用)
学习必备 欢迎下载 1.常用公式 p ∧(P →Q)=>Q 假言推论 ┐Q ∧(P →Q)=>┐P 拒取式 ┐p ∧(P ∨Q)=>Q 析取三段式 (P →Q) ∧(Q →R)=>P →R 条件三段式 (PQ) ∧(QR)=>PR 双条件三段式 (P →Q)∧(R →S)∧(P ∧R)=>Q →S 合取构造二难 (P →Q)∧(R →S)∧(P ∨R)=>Q ∨S 析取构造二难 (∃x)((Ax)∨(Bx)) <=>( ∃x)(Ax)∨(∃x)(Bx) (∀x)((Ax)∧(Bx)) <=>(∀x)(Ax)∧(∀x)(Bx) —┐(∃x)(Ax) <=>(∀x)┐(Ax) —┐(∀x)(Ax) <=>(∃x)┐(Ax) (∀x)(A ∨(Bx)) <=>A ∨(∀x)(Bx) (∃x)(A ∧(Bx)) <=>A ∧(∃x)(Bx) (∃x)((Ax)→(Bx)) <=>(∀x)(Ax)→(∃x)(Bx) (∀x)(Ax) →B <=>(∃x) ((Ax)→B) (∃x)(Ax) →B <=>(∀x) ((Ax)→B) A →(∀x)(Bx) <=>(∀x) (A →(Bx)) A →(∃x)(Bx) <=>(∃x) (A →(Bx)) (∀x)(Ax)∨(∀x)(Bx) =>(∀x)((Ax)∨(Bx)) (∃x)((Ax)∧(Bx)) =>(∀x)(Ax)∧(∀x)(Bx) (∀x)(Ax)→(∀x)(Bx) =>(∀x)((Ax)→(Bx)) 2.命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P ,Q,R 的顺序依次写; 6.真值表中值为1的项为极小项,值为0的项为极大项; 7.n 个变元共有n 2个极小项或极大项,这n 2为(0~n 2-1)刚好为化简完后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P 规则,T 规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 3.谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n 个个体,多元谓词描述个体之间的关系; 2.全称量词用蕴含→,存在量词用合取^; 3.既有存在又有全称量词时,先消存在量词,再消全称量词; 4.集合 1.N ,表示自然数集,1,2,3……,不包括0; 2.基:集合A 中不同元素的个数,|A|; 3.幂集:给定集合A ,以集合A 的所有子集为元素组成的集合,P(A); 4.若集合A 有n 个元素,幂集P(A)有n 2个元素,|P(A)|=||2A =n 2; 5.集合的分划:(等价关系) ①每一个分划都是由集合A 的几个子集构成的集合; ②这几个子集相交为空,相并为全(A); 6.集合的分划与覆盖的比较: 分划:每个元素均应出现且仅出现一次在子集中; 覆盖:只要求每个元素都出现,没有要求只出现一次; 5.关系 1.若集合A 有m 个元素,集合B 有n 个元素,则笛卡尔A ×B 的基数为mn ,A 到B 上可以定义mn 2种不同的关系; 2.若集合A 有n 个元素,则|A ×A|=2n ,A 上有22n 个不同的关系; 3.全关系的性质:自反性,对称性,传递性; 空关系的性质:反自反性,反对称性,传递性; 全封闭环的性质:自反性,对称性,反对称性,传递性; 4.前域(domR):所有元素x 组成的集合; 后域(ranR):所有元素y 组成的集合; 5.自反闭包:r(R)=RU Ix ; 对称闭包:s(R)=RU 1-R ; 传递闭包:t(R)=RU 2R U 3R U …… 6.等价关系:集合A 上的二元关系R 满足自反性,对称性和传递性,则R 称为等价关系; 7.偏序关系:集合A 上的关系R 满足自反性,反对称性和传递性,则称R 是A 上的一个偏序关系; 8.covA={