드모르간의 정리.
쉽게 설명하면 --- (임버스) 를 이용해서 +연산자를 . 연산자로 바꾸는 겁니다.
-- -- -----
A + B = AB
__ _ _
AB = A + B
위 두식은 그냥 좌변 우변을 바꿔 적은 것 뿐입니다.
____ _ _
A+B = AB
_ _ _____
A B= A + B
이렇게 바뀝니다.
그 증명은 진리표를 작성해 보시면 아실거구요.
쉽게 외우는 방법은 위에 긴 임버스를 둘로 쪼개면서 +연산자가 .연산자로, 혹은 .연산자가 +연산자로 바뀌는 겁니다.
그 반대의 경우도 마찬가지이고요.
___
A B + A =?? 이런 부울식이 있을 때
드모르강의 정리를 이용하면
_ _ _
A+ B + A = 1 로 간단히 계산됩니다. 왜냐하면... (A+A=1), (1+B=1)
이런 등등으로 이용이 가능합니다.
by - sk