💡 논리의 16가지 얼굴: 두 개의 입력을 가지는 모든 가능한 불리언 함수 🔗

수학자 **조지 불(George Boole)**의 이름을 딴 불 대수(Boolean algebra)는 모든 디지털 회로의 근간입니다. 불 대수는 참(True, 1) 또는 **거짓(False, 0)**이라는 두 가지 상태만 가질 수 있는 변수를 다룹니다. 두 개의 입력 변수 A와 B를 고려할 때, 가능한 입력 조합은 (0, 0), (0, 1), (1, 0), (1, 1)의 네 가지뿐입니다.

이 네 가지 입력 조합 각각이 출력으로 0 또는 1을 생성할 수 있으므로, 가능한 고유 불리언 함수의 총개수는 24=162^4 = 16개입니다.

이 글에서는 디지털 설계에서의 복잡성과 중요성에 따라 분류된 이 16가지 기본 논리 연산을 살펴봅니다.

📑 목차 🔗


🔢 네 가지 입력 조합 🔗

함수를 이해하려면 먼저 가능한 입력의 경우의 수를 정의해야 합니다.

AB
00
01
10
11

🚀 16가지 함수의 카테고리 🔗

16가지 함수는 출력 패턴에 따라 가장 단순한 상수 함수부터 가장 복잡한 배타적 게이트까지 여러 카테고리로 묶을 수 있습니다. FF를 함수의 출력이라고 하겠습니다.

⚪ 1. 상수 함수 (2개 함수) 🔗

이 함수들은 입력을 완전히 무시하고 항상 동일한 출력을 생성합니다.

함수 이름수식A=0, B=0A=0, B=1A=1, B=0A=1, B=1설명
Zero (FALSE)F0=0F_0 = 00000항상 0을 출력합니다.
One (TRUE)F15=1F_{15} = 11111항상 1을 출력합니다.

🔄 2. 단순 전달/반전 함수 (4개 함수) 🔗

이 함수들은 두 입력 중 하나에만 의존하며, 값을 그대로 전달하거나 반전시킵니다.

함수 이름수식A=0, B=0A=0, B=1A=1, B=0A=1, B=1설명
Transfer AF3=AF_3 = A0011출력이 단순히 A입니다.
Transfer BF5=BF_5 = B0101출력이 단순히 B입니다.
NOT AF12=AˉF_{12} = \bar{A}1100출력이 **A의 반전(역)**입니다.
NOT BF10=BˉF_{10} = \bar{B}1010출력이 **B의 반전(역)**입니다.

⚙️ 3. 기본 이항 연산 (4개 함수) 🔗

디지털 시스템에서 보편적으로 사용되는 주요 논리 게이트입니다.

함수 이름수식A=0, B=0A=0, B=1A=1, B=0A=1, B=1공통 게이트
ANDF8=A⋅BF_8 = A \cdot B0001A와 B가 모두 1일 때만 1을 출력합니다.
ORF14=A+BF_{14} = A + B0111A 또는 B(혹은 둘 다)가 1이면 1을 출력합니다.
NANDF7=A⋅B‾F_7 = \overline{A \cdot B}1110A와 B의 NOT-AND입니다. (범용 게이트)
NORF1=A+B‾F_1 = \overline{A + B}1000A와 B의 NOT-OR입니다. (범용 게이트)

⚖️ 4. 배타적 연산 (2개 함수) 🔗

이 함수들은 가산기(adder)와 같은 산술 회로와 입력 비교에 매우 중요합니다.

함수 이름수식A=0, B=0A=0, B=1A=1, B=0A=1, B=1설명
XOR (배타적 논리합)F6=A⊕BF_6 = A \oplus B0110A와 B가 서로 다를 때 1을 출력합니다.
XNOR (동치)F9=A⊕B‾F_9 = \overline{A \oplus B}1001A와 B가 서로 같을 때 1을 출력합니다.

➡️ 5. 조건 및 역조건 함수 (4개 함수) 🔗

이 함수들은 일반적인 디지털 논리에서는 덜 쓰이지만, 고급 논리 설계 및 특정 형식 체계에서 중요한 역할을 합니다.

함수 이름수식A=0, B=0A=0, B=1A=1, B=0A=1, B=1설명
A Implies B (실질적 함의)F13=Aˉ+BF_{13} = \bar{A} + B1101A가 1이고 B가 0일 때만 거짓(0)입니다.
B Implies AF11=A+BˉF_{11} = A + \bar{B}1011B가 1이고 A가 0일 때만 거짓(0)입니다.
A NOT-Implies BF4=A⋅BˉF_4 = A \cdot \bar{B}0010A가 1이고 B가 0일 때만 참(1)입니다.
B NOT-Implies AF2=Aˉ⋅BF_2 = \bar{A} \cdot B0100A가 0이고 B가 1일 때만 참(1)입니다.

🔑 범용성(Universality)의 힘 🔗

이 16가지 함수에서 가장 흥미로운 점은 NAND 게이트와 NOR 게이트, 이 두 가지가 각각 단독으로 나머지 모든 함수를 구현할 수 있다는 것입니다.

이러한 특성 때문에 NAND와 NOR 게이트는 **범용 게이트(Universal Gates)**라고 불립니다. 단 한 종류의 게이트만 사용하여 컴퓨터 전체를 구축할 수 있으므로 집적 회로(IC)의 제조 공정을 크게 단순화할 수 있습니다.


📝 16가지 전체 함수 요약표 🔗

이 표는 네 가지 입력 조합에 대한 출력을 기준으로 16가지 함수를 모두 정리한 것입니다.

F#(0,0)(0,1)(1,0)(1,1)함수 이름수식공통 게이트
F0F_00000Zero00(상수)
F1F_11000NORA+B‾\overline{A + B}NOR
F2F_20100B NOT-Implies AAˉ⋅B\bar{A} \cdot B
F3F_30011Transfer AAA
F4F_40010A NOT-Implies BA⋅BˉA \cdot \bar{B}
F5F_50101Transfer BBB
F6F_60110XORA⊕BA \oplus BXOR
F7F_71110NANDA⋅B‾\overline{A \cdot B}NAND
F8F_80001ANDA⋅BA \cdot BAND
F9F_91001XNORA⊕B‾\overline{A \oplus B}XNOR
F10F_{10}1010NOT BBˉ\bar{B}NOT
F11F_{11}1011B Implies AA+BˉA + \bar{B}
F12F_{12}1100NOT AAˉ\bar{A}NOT
F13F_{13}1101A Implies BAˉ+B\bar{A} + B
F14F_{14}0111ORA+BA + BOR
F15F_{15}1111One11(상수)

두 개의 단순한 이진 입력에서 파생된 이 16가지 논리 함수는 모든 연산 프로세스를 위한 완전한 어휘를 형성하며, 가장 단순한 기초로부터 놀라울 정도로 복잡한 시스템을 구축할 수 있음을 보여줍니다.


📚 무료 전자책 다운로드 🔗

카우에의 삶의 방식 오프라인 에디션을 받아보세요—🍏 건강, 💰 부, ❤️ 사랑, 🧘 의미를 최적화하기 위한 실전 가이드입니다.

카우에의 삶의 방식

카우에의 삶의 방식

📬 뉴스레터 구독하기 🔗

더 나은 삶을 위한 새로운 에세이, 도서 요약, 실전 가이드를 발행할 때 알림을 받아보세요. 스팸은 없으며 언제든 구독을 취소할 수 있습니다.


💬 댓글 및 토론 🔗

질문, 의견 또는 제안이 있으신가요? 아래에 생각을 남겨주세요. 댓글은 GitHub Discussions(광고 및 스팸 없음)를 통해 제공됩니다—댓글이나 반응을 남기려면 아래의 GitHub으로 로그인을 클릭하세요(무료 GitHub 계정은 1분 이내에 만들 수 있습니다).



최종 업데이트: 2025. 11. 27..

면책 조항: 본 사이트의 콘텐츠는 정보 제공 및 교육 목적으로만 제공되며 의학, 심리, 재무, 투자, 세무 또는 법률 자문을 구성하지 않습니다. 여기에 제시된 생각, 큐레이션 및 의견은 전적으로 저 개인의 것이며 고용주의 입장을 대변하지 않습니다. 도서, 강연 및 아티클 요약은 독립적인 교육적 해설이며 각 저자의 지적 재산입니다. 편집, 서식 지정 및 요약을 돕기 위해 AI 도구가 사용될 수 있으며, 정확성을 기하기 위해 최선을 다하고 있으나 오류가 포함될 수 있습니다. 개인정보 처리방침: 본 사이트는 선택적 뉴스레터 구독(follow.it), 댓글(giscus / GitHub Discussions) 및 임베디드 미디어(YouTube)를 위해 제3자 서비스를 사용하며, 해당 서비스들은 각자의 개인정보 처리방침에 따라 방문자의 IP 주소와 쿠키를 처리할 수 있습니다.