证明：一个集合[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]上的所有划分的集合与关系[tex=0.786x1.071]Yh0s9IyzQXJZpc7iNaw1Vg==[/tex]构成一个格，其中如果划分[tex=1.0x1.214]fxP5NKfuaC23W5waarA1ZQ==[/tex]是划分[tex=1.0x1.214]oSv4U8R1pGloBPK+RYGtWA==[/tex]的加细，则[tex=3.357x1.214]VveQghZPa0FomXMwlyoavEqhlO3SuTpZ9WiWYW6rwKk=[/tex]。
举一反三
- 如果X满足[tex=1.0x1.214]uDLq1pltx8bidzPpXavtVw==[/tex]公理和[tex=1.0x1.214]HSZQQmMoQLPTE8orMMvtgA==[/tex]公理，则也满足[tex=1.0x1.214]9/dZqDJTFQ9zWNw2dnPh4g==[/tex]公理。
- 由非空集合X的所有子集构成的集合称为X的幂集，记作[tex=1.143x1.214]6fgP1j+0v37iZFMJocAU+g==[/tex].（1）设X={a,b,c}，求[tex=1.143x1.214]6fgP1j+0v37iZFMJocAU+g==[/tex].（2）设X是由n个元素组成的有限集，证明[tex=1.143x1.214]6fgP1j+0v37iZFMJocAU+g==[/tex]中含有[tex=1.0x1.0]j//x0/Z+ltpf5R8ThFOpMA==[/tex]个元素.
- 证明如果[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]、[tex=0.643x1.0]awBC2UvU2WxG45VihksPuw==[/tex]均为基数为[tex=0.929x0.786]D9maNLyVVGrC3QbL9jjRWg==[/tex]的集合，[tex=0.929x0.786]D9maNLyVVGrC3QbL9jjRWg==[/tex]为正整数，则在集合[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]与集合[tex=0.786x1.0]TkWiaIfselaE0uOF2JDYag==[/tex]之间存在一个一一对应函数。
- 证明如果[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]是基数为[tex=0.929x0.786]D9maNLyVVGrC3QbL9jjRWg==[/tex]的集合，[tex=0.929x0.786]D9maNLyVVGrC3QbL9jjRWg==[/tex]为正整数，则在集合[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]与集合[tex=5.786x1.357]8qNI+4A+Dkxx07cBdC1LPv8EKLAzxKDiJ02BVQsOihI=[/tex]之间存在一个一一对应函数。
- 设计一个能对两个二进制数 [tex=7.5x1.214]qTqeSAxTjrUwfAYKj8hpF3ySU+Pup8tIfWfJfAsrXHGxvCBfkdKtRZyPYQqMvWm/[/tex] 和[tex=7.0x1.214]0i+5n5kP0TErW53BKzzq6V2jf6TVaH8S6EGaTgwjwxRmhTM4EuUU7obSfXd34mrP[/tex]进行比较的同步时序电路, 其中, X 、 Y串行的输入到 电路 x 、 y输入端。比较从 [tex=0.929x1.0]wVICVfwx/+W8A4DO0okxuw==[/tex] 、[tex=0.857x1.0]r8PVUfTVe9go7IJ3Svh2Fw==[/tex] 开始, 依次进行到[tex=1.0x1.0]q9UUhdoW/JH6j/ftY+hOmg==[/tex]、[tex=0.929x1.0]gbnBR4PdIkGSunlJj42PhA==[/tex] 。电 路有两个输出[tex=1.143x1.214]PDYJ7+YhY5TZwQc8wLO/ZQ==[/tex]和 [tex=1.071x1.286]thm8AX7dIh0+fBz67wWaXg==[/tex], 若比较结果 X>Y, 则为 [tex=1.5x1.214]jpD+haPonypMwyEhTGg4/w==[/tex], [tex=1.071x1.286]eVv1SxUCdIMjLjLT2Ncrrw==[/tex] 为 0 ; 若比 较结果 X<Y, 则 [tex=1.143x1.214]PDYJ7+YhY5TZwQc8wLO/ZQ==[/tex]为 0,[tex=1.071x1.286]eVv1SxUCdIMjLjLT2Ncrrw==[/tex] 为 1 ; 若比较结果 X=Y, 则 [tex=1.143x1.214]PDYJ7+YhY5TZwQc8wLO/ZQ==[/tex] 和[tex=1.071x1.286]eVv1SxUCdIMjLjLT2Ncrrw==[/tex] 都为 1 。 要求用尽可能少的状态数作出状态图和状态表, 并用尽可能少的逻辑门和触发器（采用 J - K 触发器 ) 实现其功能。