2016-09-04 2 views
0

표현식은 다음과 같습니다. x '+ x + xz + yz - x not 또는 x 또는 x와 z 또는 y와 z를 읽습니다. 이 표현은 1과 동등한 것으로 증명하려고 시도하고있는 매우 큰 표현의 축소 형입니다.이 부울 표현식이 왜 1로 감소합니까?

위의 표현은 Wolfram과 다른 표현 감속기에 따르면 1과 같습니다. 모든 설명이 도움이 될 것입니다. 미리 감사드립니다.

+0

부울 표현식이 1로 감소하지 않습니다. 1은 부울 값이 아닙니다. –

+0

프로그래밍이나 코딩과 관련하여 직접 부울 대수에 관한 것이기 때문에이 질문을 주제와 관련이없는 것으로 닫으려고합니다. – Pang

답변

4

우리는 Wolfram이 true의 동의어로 1을 사용한다고 가정합니다. 표현의 처음 두 가지 용어는 x'x입니다. 그 중 하나 또는 그 이상은 1 (true)이어야하며 그 중 두 개의 논리합은 1입니다. 그러면 true의 논리합은 true이됩니다. 그래서 전체 표정이 1로 줄어 듭니다.

2

이 표현식을 이해하는 핵심은 or 연산자입니다. true or false or smth이있는 경우 smth,이 무엇이든지간에 여전히 표현식이 참일 것입니다. 따라서 귀하의 경우에 xz + yz은 중복 될 수 있습니다. x' + x은 가능한 모든 값을 포함하므로

관련 문제