24. 진리표 (Truth Table)

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

본질: 진리표 (Truth Table)는 디지털 논리 회로가 맞닥뜨릴 수 있는 모든 입력 조건($2^N$개)의 경우의 수를 샅샅이 나열하고, 그에 대응하는 출력 결과를 명시한 1차원 수학적 매핑(Mapping) 테이블이다.

가치: 모호한 인간의 자연어 요구사항을 1비트의 오류도 허용하지 않는 무결점의 하드웨어 설계도로 번역해 주는 컴퓨터 아키텍처 설계의 가장 첫 번째 뼈대이자 나침반이다.

판단 포인트: 설계자는 진리표 작성 후 결과가 '1'인 줄만 뽑아내어 곱의 합(SOP) 식을 만들거나, '0'인 줄만 뽑아 합의 곱(POS) 식을 만든 뒤, 카르노 맵으로 넘겨 트랜지스터 개수를 극한으로 깎아내는 최적화 워크플로우를 탄다.

Ⅰ. 개요 및 필요성

진리표는 입력 변수가 N개일 때 발생할 수 있는 $2^N$개의 모든 조합을 표의 왼쪽에 나열하고, 각 입력 조합에 대해 시스템이 출력해야 할 참(1)과 거짓(0)의 결과를 오른쪽에 매칭시켜 둔 논리적 명세서다.

초창기 컴퓨터 엔지니어들은 복잡하고 꼬인 말로 설계를 지시하다가 수많은 예외 상황을 놓쳐 치명적 버그를 냈다. 진리표가 엔지니어링에 도입되면서 "입력이 3개면 무조건 8개의 조합을 몽땅 적고 빈칸을 1과 0으로 칠해라"라는 강제 룰이 생겼다. 덕분에 모든 예외 케이스(Edge Case)가 사전에 도출되어 결점 없는 칩을 설계하는 것이 가능해졌다.

📢 섹션 요약 비유: 건물 소방 시스템의 '화재 대응 시나리오 엑셀 표'와 같다. "불이 났다/안 났다", "사람이 있다/없다"의 모든 조합을 빈틈없이 만들어 놓고, 소방 로봇이 각 상황에 물을 뿌릴지 말지 미리 세팅해 두어 0.1초의 오작동도 없게 만든다.

Ⅱ. 아키텍처 및 핵심 원리

진리표를 그리는 궁극적 이유는 표 자체의 감상이 아니라, 칩으로 구워낼 '부울 대수식'을 뽑아내기 위함이다.

가장 대중적인 방식은 출력이 '1'인 줄(Row)만 골라내어 식을 만드는 곱의 합(SOP, Sum of Products) 방식이다.

┌──────────────────────────────────────────────────────────────┐
│         진리표에서 부울 대수식(SOP)을 도출하는 기계적 매핑       │
├──────────────────────────────────────────────────────────────┤
│                                                              │
│   [진리표: XOR (다를 때만 1)]                                    │
│    A  |  B  ||  F (출력)                                     │
│   ----+-----++-----------                                    │
│    0  |  0  ||  0                                            │
│    0  |  1  ||  1   ◀━ 타깃 1 (A=0, B=1) ──▶ 최소항: A' · B  │
│    1  |  0  ||  1   ◀━ 타깃 2 (A=1, B=0) ──▶ 최소항: A · B'  │
│    1  |  1  ||  0                                            │
│                                                              │
│   [도출된 수식을 모두 OR(+)로 묶기 = 곱의 합 (SOP) 완성]           │
│   최종 논리식 F = (A' · B)  +  (A · B')                          │
└──────────────────────────────────────────────────────────────┘

1이 뜨는 줄의 변수가 0이면 NOT(')을 씌워 1로 만들고 모조리 곱해 최소항(Minterm)을 만든다. 이렇게 뽑아낸 최소항들을 OR(+)로 더해주기만 하면 완벽한 논리식이 탄생한다.

📢 섹션 요약 비유: 학교에서 '합격자 명단만 부르기'와 똑같다. 시험에 떨어진(0) 수많은 복잡한 조건들은 다 무시하고, 딱 붙은 합격자(1)들의 이름표(A'B, AB')만 쏙쏙 뽑아내어 "이번 합격자는 얘 또는(+) 얘야"라고 묶어서 발표하는 효율적인 추출법이다.

Ⅲ. 비교 및 연결

기획자의 요구사항이 실리콘 칩으로 굳어지기까지 거치는 데이터 표현의 3단계다.

비교 항목	인간의 자연어 (Natural Language)	진리표 (Truth Table)	부울 대수식 (Boolean Eq)
표현 형태	"A가 꺼지고 B가 켜지면 작동해"	0과 1의 엑셀 매트릭스 표	$F = A' \cdot B$ 같은 수학 기호
특징 및 장점	직관적이고 누구나 읽기 편함	모든 예외 경우의 수를 100% 커버	칩 다이어트를 위한 대수학적 압축 가능
시스템 내 위치	기획서, 요구사항 정의서(PRD)	아키텍처 설계 1차 검증(Verification) 도구	하드웨어 합성(Synthesis) 전 단계

입력 변수($N$)가 1개 늘어날 때마다 진리표의 크기($2^N$)는 2배씩 폭발한다. 최신 64비트 CPU 버스의 진리표를 종이에 그리면 1800경 줄이 넘어가 우주가 끝날 때까지 다 못 그린다. 따라서 현대 팹리스 설계는 인간이 진리표를 그리는 것을 포기하고, 코딩(HDL)을 하면 EDA 슈퍼컴퓨터가 내부에 가상의 거대한 진리표 행렬을 알아서 계산하는 시대로 넘어왔다.

📢 섹션 요약 비유: 진리표 작성은 '구구단 표 외우기'다. 9단까지(입력 3~4개)는 공책에 표를 촘촘히 그려 외울 수 있지만, 40억 단(32비트 입력)의 구구단 표를 그리는 건 불가능하므로 결국 컴퓨터 엑셀(EDA 소프트웨어)의 힘을 빌려야만 하는 한계에 도달했다.

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

진리표는 무조건 1을 묶는 것이 아니라 분포 통계를 보고 아키텍처 방향을 정하는 나침반이다.

체크리스트 및 판단 기준

BCD 코드(0~9)처럼 시스템 특성상 절대 들어올 일이 없는 유령 입력 조합(10~15)의 출력칸을 0으로 낭비하지 않고 'X(Don't Care)'로 지정하여, 합성(Synthesis) 툴이 칩 다이어트를 할 때 조커 카드로 써먹을 수 있도록 빈틈을 치밀하게 열어두었는가?
출력 결과(F) 란을 분석했을 때 1이 압도적으로 적은가, 아니면 0이 압도적으로 적은가? 1이 적으면 SOP(최소항 방식)를, 0이 적으면 POS(최대항 방식)를 채택하여 트랜지스터 낭비를 1/10 수준으로 깎아냈는가?

안티패턴

복잡한 공장 자동화 제어 칩을 짜면서 진리표 작성을 건너뛰고 "A 들어오면 서고, B 들어오면 가겠지"라며 뇌피셜로 곧바로 HDL 코드를 욱여넣는 건방진 행위. 아무리 천재라도 3~4개 변수가 엮인 코너 케이스(Corner Case)를 머리로 100% 잡아낼 순 없다. 공장 기계가 오작동해 사람이 다치는 사고의 원인 99%는 이 귀찮은 진리표 16줄을 끝까지 꼼꼼히 채우지 않은 오만의 대가다.
📢 섹션 요약 비유: 진리표 없이 칩을 짜는 것은, 지뢰밭을 건널 때 '정밀 탐지 지도(진리표)'를 안 그리고 "내 감각이 쩔어주니까 대충 뛰면 되겠지!" 하고 눈 감고 달리는 짓이다. 운 좋게 몇 번은 살아도 결국 지뢰를 밟고 칩 전체가 폭발한다.

Ⅴ. 기대효과 및 결론

진리표는 인간의 모호한 말을 완벽한 0과 1의 체계로 박제하여, 설계 단계에서 누락된 예외(Edge Case) 버그를 100% 색출해 내는 디지털 무결성의 상징이다.

현재는 AI 추론 가속기 칩의 양자화(Quantization) 등으로 인해 0과 1로 극단적으로 나누는 깐깐한 논리는 제어 유닛(Control Unit)에 고립되고, 메인 연산 구역은 행렬 곱셈이라는 아날로그적 확률 연산 생태계로 주도권이 넘어가고 있으나, 시스템의 절대적 무결성을 보장해야 하는 컨트롤 로직의 뼈대로서 진리표의 지위는 영원하다.

📢 섹션 요약 비유: 맞춤형 양복을 재단할 때, 손님의 두루뭉술한 요구(자연어)를 줄자로 1mm 오차 없이 재어 적은 치수 표(진리표)와 같다. 이 치수 표가 완벽해야만 옷감(트랜지스터)을 자를 때 실수 없이 세상에서 가장 완벽한 핏의 명품 정장(반도체 칩)이 완성된다.

📌 관련 개념 맵

개념	연결 포인트
최소항 (Minterm) / 최대항 (Maxterm)	진리표의 결과를 수식으로 뽑아낼 때, 1인 줄을 타깃으로 삼는 스나이퍼(최소항)와 0인 줄을 타깃으로 삼는 스나이퍼(최대항) 뼈대
카르노 맵 (Karnaugh Map)	진리표에서 뽑아낸 무겁고 더러운 수식을 2차원 지도로 펼쳐놓고 묶어서 불필요한 변수를 공중 분해시켜 칩 면적을 깎아내는 툴
논리 합성 (Logic Synthesis)	진리표에서 파생된 코드를 받아, 카르노 맵 같은 수학적 다이어트 엔진을 돌려 가장 저렴한 트랜지스터 도면(Netlist)으로 구워내는 기적의 공정

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

진리표는 햄버거 가게 알바생에게 쥐여주는 **완벽한 '모든 경우의 수 행동 매뉴얼'**이에요!
손님이 카드를 내거나(1), 포장해 가거나(0) 하는 모든 상황을 꼼꼼히 다 적어놓고 영수증을 줄지 말지 미리 정해둬요.
이 표만 있으면 알바생(컴퓨터)은 0.1초의 고민도 없이, 그리고 단 한 번의 실수도 없이 완벽하고 똑똑하게 일을 척척 해낼 수 있답니다!