부울식의 최소화 : 카르노 맵

카르노 맵(Karnaugh Map)

• 부울 함수의 간단한 논리합 형식을 찾아내는 방법

카르노 맵을 만들 때

• 변수가 2개이면 2x2, 변수가 3개면 4x2, 변수가 4개면 4x4, ...
• 인접하는 칸들은 동일한 변수를 갖고 있어야 한다. 앞의 예에서 (xy, xy', x'y', x'y)같이 된다. 그리고 인접되는 칸들은 원통처럼 연결되어 있다.
• 인접하는 칸들을 묶을 때는 2^n, n^(n-1),... 순으로 묶는다. 예를 들면 변수가 3개일 때 2^2, 2 순서로 인접하는 항을 묶는다.