一道数电的逻辑证明题我主要是想知道化简后A+B+D'+后面那一长串,为啥等于0

来源:学生作业帮助网 编辑:作业帮 时间:2024/11/06 05:42:04
一道数电的逻辑证明题我主要是想知道化简后A+B+D'+后面那一长串,为啥等于0
xRNQ~  tlm1P ,VVZc)Rd] E0Bkq,/sΜ+_0ՙL"?D?p۬,w䵦ݵZKz`l3lc Kt6<020zo}OuT!C

一道数电的逻辑证明题我主要是想知道化简后A+B+D'+后面那一长串,为啥等于0
一道数电的逻辑证明题
我主要是想知道化简后A+B+D'+后面那一长串,为啥等于0

一道数电的逻辑证明题我主要是想知道化简后A+B+D'+后面那一长串,为啥等于0
前面一串((A+B+C')'C'D)'不是已经为 1 了么?
利用摩根律,
(A+B+C')' C'D = A'B'CC'D = 0 然后取反得到1.后面那串等于啥都可以不管了.

形式证明中常用的两个规则,P规则,T规则,证明过程是由一系列公式构成,每个论域是人这个已知里说了,用到谓词逻辑那我们开始证明哈~由于有些全称量词和