!(( A && C && D &&) ||(B && C && D &&))
=!(A && C && D &&) && !(B && C && D &&)
=A || C || D && B || C || D
这样对吗?
少东西吧,&& 后面不能什么也没有,或者你多打了一个&&
第三行不对,德摩根律是要加括号的
所以应该是(!A || !C || !D) &&( !B || !C || !D)
离散数学的知识忘差不多了,下面只能用逻辑推理讲了
再展开之后有(!A &&( !B || !C || !D)) || (!C &&( !B || !C || !D)) || (!D &&( !B || !C || !D))
考虑后两者,
对于(!C &&(!B || !C || !D))
,当!C
为真时,( !B || !C || !D)必然为真,当!C
为假时,逻辑与的运算必然为假,所以(!C &&( !B || !C || !D))=!C
,同理!D &&(!B || !C || !D)=!D
所以原式可以写作(!A &&( !B || !C || !D)) || !C || !D
显然当!C
或!D
为真时,原式为真,当!C
和!D
为假时,必须!A
和!B
都为真表达式才为真,所以原式可写作!A && !B || !C || !D
或者!(A || B) || C || D
!((A&&C&&D)||(B&&C&&D))
=!((A||B)&&C&&D)
=!(A||B)||!C||!D
=!A&&!B||!C||!D
公式什么的我也忘记了,凭逻辑关系写出来的,应该没错的。
少东西吧,&& 后面不能什么也没有,或者你多打了一个&&
第三行不对,德摩根律是要加括号的
所以应该是(A || C || D) &&( B || C || D)
再展开(A &&( B || C || D)) || (C &&( B || C || D)) || (D &&( B || C || D))
考虑
这应该可以用数字电路里面的摩根定理来解释吧,!、&&和||就对应数字电路里面的非、与和或,那么最后A、B、C、D前面都应该有一个!才对。而且我不知道里面为什么有单独的&&,&&应该是二元操作符吧。个人理解哈