4변수 카르노 맵 마스터하기: 설계, 축약, 실전 예제

그레이 코드 시퀀싱을 이해하면 3변수 카르노 맵을 4변수로 확장하는 것은 간단합니다: 3변수 맵의 열 시퀀스를 4변수 그리드 왼쪽에 복사하면 됩니다. 아래 그림 참조.

 

4변수 K-맵 축약

다음 예제들은 불 대수만으론 다루기 힘든 불 식을 카르노 맵이 어떻게 단순화하는지 보여줍니다. 대수 조작도 가능하지만, 많은 축약이 필요할 때 K-맵이 더 빠르고 시각적입니다.

 

 

아래 불 식은 일곱 곱 항 포함. K-맵에 순차적으로 플로팅: 첫 항 A'B'CD는 최상단 행 세 번째 셀(A=0, B=0, C=1, D=1). 이후 항들도 같은 좌우, 상하 매핑 따름. 가능한 최대 그룹으로 원 그리면 네 셀 두 그룹 식별. 수평 그룹은 단순화 항 AB, 수직 그룹은 CD 산출. 결과 곱의 합 식 Out = AB + CD.

냅킨 접듯 맵 모서리를 접으면 네 모서리 셀이 물리적으로 인접해집니다.

 

 

이 네 셀은 B'와 D' 공유(모두 0), A와 C는 변함. 따라서 그룹은 단일 곱 항 Out = B'D'로 축약.

다음 예제는 위아래 가장자리를 말아 실린더를 만들어 여덟 인접 셀 생성:

 

 

여기서 여덟 셀 그룹은 공통 변수 B=0 공유, 원래 여덟 항 식에서 단순화 항 Out = B' 산출.

4변수 K-맵에서의 P-항

아홉 곱 항이 있는 식 고려, 그중 세 항은 세 불 변수만 포함. K-맵에서 4변수 항은 단일 셀, 3변수 항은 셀 쌍 차지. 매핑은 아래와 같습니다.

 

 

모서리 셀을 공유하는 두 겹치는 여덟 그룹 형성으로 최적 단순화 달성: Out = B' + D.

아래는 단순화 전 식을 K-맵에 매핑한 그림.

 

 

세 셀이 쌍으로 결합돼 하나의 고립된 셀이 남음. 병합 불가한 고립 항 ABCD는 그대로 남아 Out = B'C'D' + A'B'D' + ABCD 결과.

종종 최소 비용 솔루션이 여러 개 존재. 다음 예제는 각각 세 변수 네 곱 항인 두 등가 솔루션 보여줌.

 

 

두 솔루션 모두 게이트 수와 입력 수 최소화라는 최소 비용 기준 만족하나 그룹 배열은 다름.

단순화 시 네 셀 그룹 먼저 식별. 이후 그룹들은 남은 셀 커버하도록 선택, 각 그룹 크기는 2의 거듭제곱(1, 2, 4, 8, …). 세 셀 그룹 형성 피하기.

다른 예제도 두 유효 최소 비용 솔루션. 초기 네 셀 두 그룹 형성 후 남은 단일 셀이 어느 그룹과 쌍을 이루느냐에 따라 최종 항이 ABC' 또는 ABD로 달라짐.

 

 

두 경우 모두 최종 식은 복잡도 면에서 등가.

마지막으로 카르노 맵 접근과 불 대수 비교. C' 플로팅하면 맵 왼쪽 절반(여덟 셀) 커버. 남은 단일 ABCD 셀이 이웃과 쌍 형성해 ABD로 단순화. 전체 결과 Out = C' + ABD로, 대수 단순화가 간단한 드문 경우 예시.

 

 

이 예제들은 빠르고 신뢰성 있는 논리 최소화를 위한 카르노 맵의 힘을 강조합니다.

관련 워크시트:

• 카르노 맵 워크시트