Simplifying Theorem 어떤 expression이 좌변과 같은 형태인 경우에 우변으로 간단하게 바꿀 수 있다. (1), (2), (5)의 경우에는 앞서 배웠던 associative / distributive law를 이용하면 간단히 증명된다. 나머지의 경우는 다음과 같이 증명된다. 이러한 법칙들은 다양하게 이용할 수 있는데, 보통 복잡해 보이는 식들도 치환법과 위의 법칙을 함께 사용하면 매우 쉽게 정리된다. 몇 가지 예제를 살펴보자. Simplifying Examples Z = A'BC + A' X = A', Y = BC 로 치환하면, Z = XY + X 와 같이 나타낼 수 있으므로, 위의 (3)번 식을 적용할 수 있다. 즉 Z = X = A' 로 간단히 할 수 있다. Z = (A + B'C..