이 글과 시리즈는 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)(..

이 글과 시리즈는 대학 수업의 Fundamentals of Logic Design 교재를 참고하여 작성되었습니다. 불 대수논리회로를 위한 기본적인 수학 연산0과 1만 사용 기본 연산NOT ( Inverter )$0^{\prime }=1$ $1^{\prime }=0$입력을 반대로 뒤집는다고 생각하면 쉽다.AND  논리곱둘 다 참일때만 결과가 참이다.$A\cdot B=C$$A$$B$$C=A\cdot B$000010100111OR논리합둘 중 하나라도 참이면, 결과가 참이다.$A+B=C$$A$$B$$C=A+B$000011101111Apply to Switch$X=0$ 은 스위치가 open 상태전기가 안통함$X=1$ 은 스위치가 close 상태전기가 통함..