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

이 글과 시리즈는 대학 수업의 Fundamentals of Logic Design 교재를 참고하여 작성되었습니다. 불 대수논리회로를 위한 기본적인 수학 연산0과 1만 사용 기본 연산NOT ( Inverter )\( 0' = 1 \) \( 1' = 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 상태전기가 통함..