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..

Basic of Basic 이 포스트에서는 boolean algebra의 가장 기초적인 법칙들에 대해서 다루도록 하겠다. 먼저 다음에 소개될 법칙들은, 그 중에서도 가장 기본적인 법칙으로 그 증명은 그냥 X에 0 또는 1을 넣는 것이면 된다. (여기서 부가적인 증명은 하지 않는다.) 또한 X 대신 어떤 expression을 넣는다 하더라도 아래의 법칙들은 모두 true이다. Operations with 0 and 1 X + 0 = X X + 1 = 1 X · 0 = 0 X · 1 = X Idempotent Laws X + X = X X · X = X Involution Law (X')' = X Laws of Complementarity X + X' = 1 X · X' = 0 Commutative Law ..