问答题

共用题干题

给定解释I如下:
(a)个体域D=N(N为自然数)
(b)D中特定元素=2
(c)D上函数(x,y)=x+y,(x,y)=x*y
(d)D上谓词(x,y):x=y
说明以下公式在I下的含义,并指出各公式的真值

xF(g(x,a),x)

【参考答案】

x(x*2=x),真值为0

<上一题 目录 下一题>
热门 试题

问答题
给定布尔集合代数U=〈P(S),∪,∩,ˉ,,S〉和布尔代数V=〈Bn,∨n,∧n,′n,0n,1n〉,其中S={a1,a2,…,an},B={0,1};对于〈a1,a2,…,an〉,〈β1,β2,…,βn〉∈Bn,∨n,∧n和′n分别定义为 其中∧,∨和′分别是布尔和、布尔积及否定运算。 今定义映射f:P(S)→Bn为f(A)=〈δ1,δ2,…,δn〉 试证:f是U到V的布尔代数同构。
问答题
邮递员所管辖的街道如图(a)所示,若投递邮件时他必须走遍所辖各街道中每一条街至少一次,最后返回邮局.计算他的投递路线的长度。
相关试题
  • 对任意集合A,B 和C,试证明A×(B∪C)=...
  • 求¬P∨(Q∧R)的合取范式与主合取范式。
  • 设图G=,V={v1,v2,v3,v4},E=...
  • 设关系R的关系图如下,试(1)写出R的关系...
  • 设个体域D={1,2,3,4},则谓词公...