안녕하세요, 답변드립니다.

X = ( (A+B) ' + C ) ' 로 표현됩니다. 여기서 '는 BAR(부정)을 의미합니다.

논리식이 달라보이지만, 이를 정리하면 (A+B)C'랑 동일해집니다.

드모르간의 정리에 의해서 BAR 안에 논리식이 있는 경우 부정이 벗겨지면서 안의 요소에는 BAR가 추가되고,

논리곱이나 논리합은 각각 논리합과 논리곱으로 변경됩니다.

즉, ( (A+B) ' + C ) ' 은 BAR 안에  (A+B) ' + C 가 있는 것인데,

이것이 BAR가 벗겨지면서 각각의 요소에 BAR가 붙습니다. 그리고 +는 ·으로 변경됩니다.

따라서 ((A+B) ')' · C' = (A+B)C' 가 되는 것입니다.

아래 논리식 마스터 시리즈를 참고하시면 논리식을 정리하시는 데 도움이 되실 것입니다.