정의

XY + X'Z + YZ =  XY + X'Z


어떤 식이 위와 같은 형태를 띄고 있을 때, redundant term (필요없는 항) YZ를 소거할 수 있다.
이러한 항을 consensus term 이라고 한다.
증명은 아래와 같다.

\begin{array}{rll} XY+X'Z+YZ&=&XY+X'Z+(X+X')YZ\\ &=&(XY+XYZ)+(X'Z+X'YZ)\\ &=&XY(1+Z)+X'Z(1+Y)\\ &=&XY+X'Z\end{array}

이전의 simplification skill 관련 포스트의 맨 마지막 부분에
multiplying out과 factoring에 활용할 수 있는 유용한 방법에 대해서 설명하고 있다.
거기에 있던 식을 가져와 약간 변형시켜 보면 (X' + Y)(X + Z) 가 되는데, 이것을 무턱대고 풀어보면
X'X + X'Z + XY + YZ 가 된다. X'X = 0이므로 소거되버리지만 YZ가 남는다.
이 때 남아버린 YZ를 소거시킬 수 있는 방법이 바로 the consensus theorem인 것이다.
이 정리를 제때 적용시키려면 형태를 잘 기억해 두는 것이 좋다.

한편, product-of-sums에서도 이 법칙을 비슷하게 적용할 수 있다. 

(X + Y)(X' + Z)(Y + Z) =  (X + Y)(X' + Z)


맨 끝에 있던 (Y + Z)가 사라졌다.
증명은 아래와 같이 간단히 가능하다.
(X + Y)(X' + Z)(Y + Z) =  (XZ + X'Y)(Y + Z) = XYZ + XZ + X'Y + X'YZ = YZ + XZ + X'Y = XZ + X'Y 
이제 이 정리를 직접 적용해 보도록 하자.




예제 1

A'C'D + A'BD + BCD + ABC + ACD'


BCD의 왼쪽과 오른쪽에 A'BD와 ABC가 보인다.
B를 공통으로 가지고 있으므로 그것을 제외하면 A'D 와 AC, 즉 the consensus theorem을 적용시킬 수 있다.
따라서 BCD는 consensus term이 되어 삭제가 되고, 식은 A'C'D + A'BD + ABC + ACD' 으로 쓸 수 있다. 
하지만 이 이상은 the consensus theorem으로 소거가 불가능하다.

다시 처음으로 돌아와서 식을 다시 살펴보면 A'BD는 A'C'D와 BCD를 이용해 소거가 가능하고,
ABC는 BCD와 ACD'를 이용해 소거할 수 있다.
최종적으로 식은 A'C'D + BCD + ACD' 로 간단히 할 수 있게 된다.

어떤 경우에는 없던 항을 새로 만들어서 간단화 할 수도 있다. 예제 2를 보자.



예제 2

ABCD + B'CDE + A'B' + BCE'


당장 봐서는 소거할 수 있는 항이 잘 보이지 않는다. 
우리는 여기에 ABCD와 B'CDE로 부터 새로운 항, 즉,  consensus term을 새로 만들어 내려고 한다.
공통된 요소는 CD이고 A, E를 각각 가지고 있으므로, ACDE가 consensus term이 될 수 있겠다.
식을 다시 써보면,

ABCD + B'CDE + A'B' + BCE' + ACDE

위와 같이 쓸 수 있다. 이제 다시 식을 찬찬히 살펴보면, 
A'B'와 ACDE를 통해 B'CDE를 소거할 수 있고,
BCE'와 ACDE를 통해 ABCD를 소거할 수 있음을 알 수 있다.
최종적으로 A'B' + BCE' + ACDE 가 남는다.

위와 같이, 기존에 없던 consensus term을 되살려서, 다른 term들을 소거할 수도 있다.
이것이 가능하려면 특별한 방법이 있다기 보다는,
the consensus theorem을 사용할 수 있는지에 대한 여부를 잘 살펴보는 수밖에 없다.

Posted by Nicatio

댓글을 달아 주세요

  1. sang hoon 2012.04.01 23:35  수정/삭제 댓글쓰기

    consensus theorem 많이 헷갈렸는데 덕분에 배웁니다. 감사합니다 ^^

  2. keon 2012.05.17 15:14  수정/삭제 댓글쓰기

    돌아다니다가 우연히 들려 하나만 여쭤보려고합니다.^^

    두번째 theorem 증명하실때
    (X + Y)(X' + Z)(Y + Z) = (XZ + X'Y)(Y + Z)

    에서 (X+Y)(X'+Z)를 계산하셔서 XZ+X'Y라 쓰신거 같은데 전개 하게 되면 YZ가 남는데 YZ가 어디로 사라진거죠?

  3. ㅎㅎ좋은정보 감사합니다 2012.10.24 11:48  수정/삭제 댓글쓰기

    consensus theorem 짜증나네여 ..ㅎㅎㅎ이건 뭔가 딱히 솔루션을 찾아나간다는 느낌보단 한번 되는지 해볼까?어 되네? 이런 찍기 같은 느낌이네여...

    • Nicatio 2012.10.24 12:16 신고  수정/삭제

      네 그런 측면이 조금 있습니다.
      그래서 결론적으로는 다른 방법으로 체크해보는 것이 필요하겠네요

  4. 전자 2014.04.29 15:45  수정/삭제 댓글쓰기

    감사합니다!!

  5. 박종진 2015.03.22 16:43  수정/삭제 댓글쓰기

    궁금한게 잇어서 질문드립니다 만약 X 와 Y 로 Z라는 consensus term을 만들수 잇으면 X,Y가 잇는 식에 Z를 더해주고 X, Y 둘 중 하나를 소거해도 되나요?

    • Nicatio 2015.03.24 12:03 신고  수정/삭제

      소거해도 되는지는 X와 Y에
      각각 0, 1을 넣어 모든 경우에 대해 계산해 보고
      같은 결과가 나오면 소거해도 될 것입니다.

  6. root 2015.07.18 22:01  수정/삭제 댓글쓰기

    xz + x'y=(x+y)(x'+z) 로 어떻게 변환 하나요??