쌍대(duality) 쌍대(duality)라는 것은 한 쪽에 항등원과 연산자를 바꾸면 다른 부분을 얻어 낼 수 있다. 이는 우리가 학교에서 배운 대우와 같은 개념이다. 만약 q->p라는 명제가 주어졌을 때 대우는 ~p -> ~q이다. 이를 부울 대수에서 사용하면 1 + 1 = 1일때 쌍대를 이용하면 0 · 0 = 0임을 알아낼 수 있다. 이 성질은 부울 대수에서 식을 계산할 떄 상당히 유용하므로 꼭 알아두는 것이 좋다. 부울 대수에서 쌍대를 구하는 방법은 AND 연산자와 OR 연산자를 바꿔주고 1과 0을 서로 바꾸면 된다. 기본 정리 다음 표는 부울 대수의 기본정리 6개와 공준 4개에 대한 표이다. 이제부터 위 표에 주어진 공준을 바탕으로 각 정리에 대해 증명을 해보도록 하겠다. 부울 대수의 공준에 대한..