논리적 사고와 추론을 대수학적으로 표현하기 위해 정립쌍대성 원리 : 어떤 논리식이 주어지면, 그 식의 쌍대 식은 모든 + 연산자는· 연산자로, 또는 그 반대로 바꾸고, 모든 상수 0은 1로, 또는 그 반대로 바꾸어 구한다.교환법칙 : x·y = y·x & x + y =
최소 비용 논리식을 구하기 위한 방법매우 간단예) f = x1’x2’x3’+x1’x2x3’+x1x2’x3’+x1x2’x3+x1x2x3’진리표카르노맵(3변수)최소화 논리식 : f = x1x2'+x3'예)f(x1,x2,x3,x4) = Σm(0,2,4,5,6,10)진리표카르