이 글과 시리즈는 Fundamentals of Logic Design 수업을 정리하였습니다 Consensus Theorem두 항으로 된 식에서 두 항이 공통으로 갖고 있는 변수가 서로 보수 관계에 놓여있는 경우공통으로 갖고 있는 변수를 뺀 나머지 변수끼리의 곱으로 표현할 수 있다. $XY+X^{\prime }Z+YZ=XY+X^{\prime }Z$ 증명$XY+X^{\prime }Z+YZ=XY+X^{\prime }Z+(X+X^{\prime })YZ$$XY+XYZ+X^{\prime }YZ+X^{\prime }Z=XY(1+Z)+X^{\prime }Z(Y+1)=XY+X^{\prime }Z$ Example$a^{\prime }{b}^{\prime }+ac+b{c}^{\prime }+b^{\prime }c+ab$$=a^{\prime }{b}^{\prime }+ac+b{c}^{\prime }+ab$$=a^{\prime }{b}^{\prime }+ac+b{c}^{\prime }$Dual Form of Consensus Theorem\((X+Y)(X'+Z)(Y+Z) = (X+Y)(..