[부울대수] 보수, 드모르간의 법칙, 쌍대 형태

 

부울대수 강의를 들으면서 개념이 헷갈리는 것들을 정리해본다.

 

개념	설명	식
보수	NOT	변수 X에 대하여, X̅
드모르간의 법칙	변수의 전체 합의 보수 = 각각의 변수의 보수의 곱 변수의 전체 곱의 보수 = 각각의 변수의 보수의 합
쌍대 형태 (dual form)	부울대수식에서 + 와 ・, 1과 0을 맞바꾼 형태	양 옆의 식은 서로의 쌍대 형태. + 드모르간, 교환, 결합, 분배법칙과 흡수정리 역시 쌍대 형태
쌍대성 원리 (principal of duality)	부울대수에서 어떤 부울 공식이 항상 성립하고 자신의 쌍대형태를 구할 수 있다면 그 쌍대형태의 부울식도 성립한다.

 

 

기타 기본공식

교환법칙
결합법칙
분배법칙
흡수정리

 

 

 

 

참고: 디지털 논리회로(김형근, 손진곤 저)