카르노맵

카르노 맵 (Karnaugh map, K-map)은 논리식을 단순화시키는 기법이다.

다음과 같은 논리의 진리표가 있다.

위 진리표의 논리식은 출력이 1일 때의 입력들을 더하여 다음과 같이 구할 수 있다.

위 논리식을 카로노 맵을 이용하여 단순화 시킬 수 있다.

다음 표와 같이 입력을 가로와 세로로 나눈다.

위 표에서 빨강 부분은 A가 0이던 1이던지 상관없이 출력이 항상 1이다. 출력이 1일 때 A는 상관이 없고 B가 1이고 C가 0일 때이고 다음 식과 같다.

위 표에서 파랑 부분은 B가 0이던 1이던지 상관없이 출력이 항상 1이다. 출력이 1일 때 B는 상관이 없고 A가 1이고 C가 1일 때이고 다음 식과 같다.

위 두 조건을 합하여 다음 식과 같이 논리식을 단순화 시킬 수 있다.