题目内容
(请给出正确答案)
[主观题]
用公式表示图6.2中阴影部分的集合。
请帮忙给出正确答案和分析,谢谢!
答案
查看答案
请帮忙给出正确答案和分析,谢谢!
第4题
第9题
给定个体域D和D上的解释I,称D上n元有序组集合D}为可定义的,如果存在含n个自由变元的谓词公式a(x1,x2,...,xn),a(x1,x2,...,xn)在域D和解释I下为真当且仅当对x1,x2,...,xn的賦值d1,d2,...,dn满足.已知n元有序组集合A,B都是可定义的,请证明:
(1)AUB是可定义的.
(2)A-B是可定义的.
(3)n-1元有序组集合存在某个d使得是可定义的.
第11题
图5.21表示一个时序状态机的状态转换图.该状态机有四个状态,在时钟作用下,状态
机在四个状态之间轮流转换.状态机的状态由A、B两个寄存器(触发器)定义:当A=0,B=1时,输出信号Y=0;其余A、B组合情况下,输出Y均为1.
用ISP器件设计该时序状态机,写出VHDL源文件.