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

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/08 13:54:47
一道数电的逻辑证明题我主要是想知道化简后A+B+D'+后面那一长串,为啥等于0

一道数电的逻辑证明题我主要是想知道化简后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规则,证明过程是由一系列公式构成,每个论域是人这个已知里说了,用到谓词逻辑那我们开始证明哈~由于有些全称量词和