카르노 맵 마스터하기: 진리표와 불 식으로 논리 단순화

벨 연구소의 통신 엔지니어 모리스 카르노가 1953년 전화 교환 회로용 디지털 논리 설계 중 카르노 맵을 도입했습니다.

카르노 맵은 복잡한 불 함수를 대수적 조작보다 빠르고 직관적으로 줄여주는 시각적 도구입니다. 중복 항을 축약해 필요한 논리 게이트와 입력 수를 낮추며, 이는 하드웨어 설계자의 비용 절감으로 직결됩니다.

실제로 엔지니어들은 카르노 맵 읽는 법을 익히면 불 대수보다 카르노 맵을 단순화에 선호합니다.

아래에 같은 2입력 논리 함수의 다섯 가지 표현이 있습니다: 릴레이 래더 다이어그램, 게이트 회로도, 진리표, 카르노 맵, 불 식. 모두 등가이며, 설계 작업에 가장 적합한 형식을 선택하면 됩니다.

두 입력 A, B 각각 0 또는 1이므로 2² = 4 출력 조합. 카르노 맵은 진리표를 정사각형 그리드로 재배열해 인접 셀이 단 한 변수만 차이나게 만들어 패턴을 명확히 합니다.

각 진리표 출력은 특정 K-맵 셀에 대응. 예를 들어 A=0, B=0인 출력 α는 맵 왼쪽 위 모서리에 나타납니다. β, χ, δ에도 같은 매핑 적용.

K-맵에서 인접성(수평/수직)은 공유 불 변수를 나타냅니다. 셀 α와 χ는 B′ 공유, β와 δ는 B 공유, α와 β는 A′ 공유, χ와 δ는 A 공유. 이런 관계 인식으로 빠른 그룹화와 단순화 가능.

1. 진리표를 카르노 맵으로 전송

해결: 진리표에서 '1'이 있는 두 행을 찾아 해당 K-맵 셀에 '1' 배치 후 그룹화 진행.

2. K-맵에서 불 식 유도

해결: 인접 '1'들을 그룹화, 그룹 내에서 일정한 변수는 유지하고 나머지는 제거. 예제 결과 식은 Out = B.

3. 최소 비용 단순화를 위한 다중 그룹화

해결: 두 '1'을 수평 그룹화해 Out = A′ 얻음.

4. 맵 전체에서 그룹 결합

해결: 진리표 매핑 후 수직 그룹화로 Out = B, 수평 그룹화로 Out = A 얻음. 최종 식 Out = A + B가 최단 형태.

5. 겹치는 그룹 처리

해결: 셀이 여러 그룹에 속하면 재사용해 더 큰 그룹 형성, 식 길이 추가 축소.

예제 1:

과정: 원 회로를 불 식으로 변환, 곱 항을 K-맵에 매핑, 셀 그룹화, 단순화 식 유도, 최소화된 회로 재작성.

예제 2 – 단순화 불가능:

어떤 경우 맵이 논리가 이미 최소 형태임을 드러냅니다. 널리 쓰이는 배타적 OR 게이트(7486 IC)도 더 이상 단순화되지 않아 그대로 둡니다.

산업기술