题目内容
（请给出正确答案）
[单选题]
谓词逻辑下，子句C1=L∨C1’,C2=┐L∨C2’,若σ是互补文字的最一般合一代换，则其归结式C12=（)。
A.C1’σ∨C2’σ
B.C1’∨C2’
C.C1’σ∧C2’σ
D.C1’∧C2’
查看答案
如果结果不匹配，请 联系老师 获取答案
题目内容
（请给出正确答案）
如果结果不匹配，请 联系老师 获取答案
题目内容
（请给出正确答案）
A.C1’σ∨C2’σ
B.C1’∨C2’
C.C1’σ∧C2’σ
D.C1’∧C2’
如果结果不匹配，请 联系老师 获取答案
更多“谓词逻辑下，子句C1=L∨C1’,C2=┐L∨C2’,若σ是…”相关的问题
(1)图3.13所示电路是一个多功能函数发生器,其中C2、C1、C0为控制信号,X、Y为数据输入,试列表说明当C2、C1、C0为不同取值组合时,输出端L的逻辑功能(L(X、Y)的表达式).
(2)试改用一个4选1多路数据选择器(1/274LS352)(参见表3.11及图3.14)及最少的门电路实现.上述多功能函数发生器.
验证函数
(λ,C1,C2是常数)满足关系式: y"-λ2y=0.
