부울대수 강의를 들으면서 개념이 헷갈리는 것들을 정리해본다. 개념 설명 식 보수 NOT 변수 X에 대하여, X̅ 드모르간의 법칙 변수의 전체 합의 보수 = 각각의 변수의 보수의 곱 변수의 전체 곱의 보수 = 각각의 변수의 보수의 합 쌍대 형태 (dual form) 부울대수식에서 + 와 ・, 1과 0을 맞바꾼 형태 양 옆의 식은 서로의 쌍대 형태. + 드모르간, 교환, 결합, 분배법칙과 흡수정리 역시 쌍대 형태 쌍대성 원리 (principal of duality) 부울대수에서 어떤 부울 공식이 항상 성립하고 자신의 쌍대형태를 구할 수 있다면 그 쌍대형태의 부울식도 성립한다. 기타 기본공식 교환법칙 결합법칙 분배법칙 흡수정리 참고: 디지털 논리회로(김형근, 손진곤 저)
