26. 최소항·최대항 (Minterm / Maxterm) — 부울 함수 표준형

핵심 인사이트 (3줄 요약)

본질: 최소항(Minterm)은 n개의 변수가 모두 AND로 연결된 곱항(Product Term)으로, 각 변수는 보수(Complement) 또는 비보수(Non-complement) 형태로 정확히 한 개의 입력 조합에서만 1이 된다. 최대항(Maxterm)은 n개의 변수가 모두 OR로 연결된 합항(Sum Term)으로, 정확히 한 입력 조합에서만 0이 된다.

가치: 부울 함수는 최소항의 합(SOP, Sum of Products)인 정규합 형태(Canonical SOP)와 최대항의 곱(POS, Product of Sums)인 정규곱 형태(Canonical POS)로 유일하게 표현될 수 있다. 이 두 표준형은 카르노 맵(Karnaugh Map) 최적화와 게이트 회로 구현의 이론적 기반이다.

판단 포인트: SOP는 1이 되는 입력 조합(Minterm)을 합산하고, POS는 0이 되는 입력 조합(Maxterm)을 곱한다. 진리표에서 1이 적으면 SOP, 0이 적으면 POS가 더 간단한 회로로 구현되므로, 실무에서는 1과 0의 개수를 비교해 표준형을 선택한다.

Ⅰ. 개요 및 필요성

┌──────────────────────────────────────────────────────────┐
│     2변수 A, B의 최소항(m) · 최대항(M) 전체 목록           │
├────┬───┬───┬────────────────┬────────────────────────────┤
│ 행 │ A │ B │ Minterm (mi)   │ Maxterm (Mi)               │
├────┼───┼───┼────────────────┼────────────────────────────┤
│  0 │ 0 │ 0 │ m0 = A'B'      │ M0 = A + B                 │
│  1 │ 0 │ 1 │ m1 = A'B       │ M1 = A + B'                │
│  2 │ 1 │ 0 │ m2 = AB'       │ M2 = A'+ B                 │
│  3 │ 1 │ 1 │ m3 = AB        │ M3 = A'+ B'                │
└────┴───┴───┴────────────────┴────────────────────────────┘
  mi = 1이 되는 조합 하나만  │  Mi = 0이 되는 조합 하나만

📢 섹션 요약 비유: 최소항은 자물쇠 잠금 코드다. 3자리 코드(A,B,C)에서 오직 '101' 조합에서만 자물쇠(AND)가 열린다. 최대항은 반대로 오직 '010' 조합에서만 잠금(OR=0)된다.

Ⅱ. 아키텍처 및 핵심 원리

SOP (정규합) vs POS (정규곱)

진리표: F(A,B,C)
A B C | F
0 0 0 | 0
0 0 1 | 1  ← m1
0 1 0 | 0
0 1 1 | 1  ← m3
1 0 0 | 0
1 0 1 | 1  ← m5
1 1 0 | 0
1 1 1 | 1  ← m7

SOP = Σm(1,3,5,7) = A'B'C + A'BC + AB'C + ABC = C
POS = ΠM(0,2,4,6) = (A+B+C)(A+B'+C)(A'+B+C)(A'+B'+C) = C

최소항-최대항 이중성

mi 와 Mi는 드모르간 법칙으로 서로 보수:
m0 = A'B' →  보수 취하면  → A + B = M0
m1 = A'B  →  보수 취하면  → A + B' = M1

F = Σm(1,3) = ΠM(0,2)
즉, SOP에 포함된 Minterm 번호와
    POS에서 제외된 Maxterm 번호는 서로 여집합

📢 섹션 요약 비유: SOP와 POS는 같은 문을 양쪽에서 설명하는 것이다. "문이 열리는 3가지 경우(SOP)"와 "문이 닫히는 5가지 경우(POS)"는 같은 문의 서로 다른 설명이지만 완전히 동등하다.

Ⅲ. 비교 및 연결

항목	SOP (최소항 합)	POS (최대항 곱)
구성 단위	최소항 AND로 묶음	최대항 OR로 묶음
F=1 조건	포함된 최소항이 1일 때	모든 최대항이 1일 때
논리 게이트	AND → OR (2단)	OR → AND (2단)
최적화 도구	카르노 맵 (1 묶기)	카르노 맵 (0 묶기)

📢 섹션 요약 비유: SOP는 "이 재료들이 있으면 요리 완성(OR/합)", POS는 "이 재료들이 하나라도 빠지면 요리 실패(AND/곱)"이다. 결과는 같지만 레시피 작성 방식이 다르다.

Ⅳ. 실무 적용 및 기술사 판단

VHDL/Verilog 회로 구현 예시

// F = Σm(1,3,5,7) = C (SOP로 최적화)
module func_f(input A, B, C, output F);
  assign F = C;  // 카르노 맵으로 C로 간소화
endmodule

// 카르노 맵 없이 SOP 직접 구현 (비최적화)
assign F = (~A & ~B & C) | (~A & B & C) |
           (A & ~B & C)  | (A & B & C);
// = C (드모르간+부울 대수로 동일)

📢 섹션 요약 비유: 카르노 맵이 없는 SOP 직접 구현은 긴 문장을 줄임말 없이 쓰는 것이고, 카르노 맵 최적화는 "등"으로 줄여쓰는 것이다. 둘 다 같은 의미지만 간결함이 다르다.

Ⅴ. 기대효과 및 결론

기대효과	내용
표준화	어떤 부울 함수도 SOP/POS로 유일 표현
최적화 기반	카르노 맵 최적화의 이론적 시작점
CAD 합성	논리 합성 도구의 내부 표현 형태

최소항/최대항은 디지털 회로 설계 자동화 도구(EDA, Electronic Design Automation)의 논리 합성(Logic Synthesis) 내부에서 BDD (Binary Decision Diagram)와 함께 게이트 최소화에 활용된다.

📢 섹션 요약 비유: 최소항/최대항은 디지털 회로의 악보다. 음악(부울 함수)을 악보(SOP/POS)로 적으면 어떤 연주자(회로 합성 도구)도 동일하게 연주할 수 있다.

📌 관련 개념 맵

개념	연결 포인트
카르노 맵	최소항/최대항 기반 함수 최적화
SOP/POS	표준 정규형 표현
드모르간 법칙	최소항↔최대항 변환 원리
논리 합성 (EDA)	최소항 기반 자동 회로 합성
VHDL/Verilog	최소항 기반 회로 HDL 구현

📈 관련 키워드 및 발전 흐름도

[진리표 — 입출력 완전 정의]
    │
    ▼
[최소항/최대항 — SOP/POS 표준형 변환]
    │
    ▼
[카르노 맵 — 최소항 그룹화로 간소화]
    │
    ▼
[논리 게이트 회로 — AND/OR/NOT 구현]
    │
    ▼
[EDA 논리 합성 — 자동 최적화 회로 생성]

👶 어린이를 위한 3줄 비유 설명

최소항은 자물쇠 비밀번호예요! 3개의 버튼 중 딱 하나의 조합에서만 불(1)이 켜지는 특별한 코드예요.
최대항은 반대로, 딱 하나의 조합에서만 불이 꺼지는(0) 코드예요.
이 두 가지를 이용하면 어떤 복잡한 회로도 "켜지는 경우의 합(SOP)" 또는 "꺼지는 경우의 곱(POS)"으로 완벽하게 표현할 수 있답니다!