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