진리표 계산기: NOT, AND, OR, 함의를 단계별로 계산하기
진리표 계산기는 p, q와 같은 명제 변수로 이루어진 논리 명제를 받아 그 변수들이 가질 수 있는 참(T)과 거짓(F)의 모든 조합을 나열하고, 한 행씩 명제를 계산합니다. 명제 논리는 모든 논증을 참이거나 거짓인 명제로 환원하며, 논리 연산자 — 부정(NOT), 논리곱(AND), 논리합(OR), 함의(→) — 는 이런 단순한 명제들을 결합해 더 복잡한 표현식을 만듭니다. 모든 변수는 정확히 두 가지 값만 가질 수 있으므로, 변수가 n개인 명제는 정확히 2ⁿ개의 행을 가집니다. 변수 2개면 4행, 변수 3개면 8행이 되는 식입니다. 이 가이드에서는 핵심 연산자들을 직접 손으로 계산해보고, 함의와 3변수 표현식에 대한 진리표 계산기 예제를 만들며, 드모르간의 법칙을 이용해 서로 다르게 쓰인 두 명제가 부울 대수에서 동치 명제임을 증명합니다.
목차
진리표 계산기란 무엇인가요?
진리표 계산기는 논리 명제에 포함된 변수들의 가능한 모든 참/거짓 조합을 나열하고, 각 조합에 대한 명제의 값을 계산하는 도구입니다. 같은 개념을 진리표 생성기라고 부르는 사람도 있는데, 매번 손으로 행을 작성하도록 요구하는 대신 모든 행을 자동으로 생성해주기 때문입니다. 명제 논리에서 p나 q 같은 변수는 참이거나 거짓인 명제를 나타내며 — 둘 다일 수도, 둘 다 아닐 수도 없습니다 — 논리 연산자를 이용하면 이런 단순한 구성 요소로부터 복합 명제를 만들 수 있습니다. 진리표가 중요한 이유는 단순한 수업 연습 이상입니다. 컴퓨터공학 전공생들은 디지털 논리 회로를 설계할 때 진리표를 사용하는데, 각 논리 게이트 — AND, OR, NOT, NAND, XOR — 는 진리표와 직접 대응되며, 회로 전체의 동작은 모든 게이트가 서로 연결된 진리표라고 할 수 있습니다. 소프트웨어 엔지니어들도 코드의 조건문, 데이터베이스 쿼리 필터, 검색 로직을 단순화할 때 같은 표를 활용합니다. 지저분하게 중첩된 if문은 대개 아직 단순화되지 않은 부울 대수 표현식일 뿐이기 때문입니다. 철학과 수학 수업에서는 개별 주장이 실제로 참인지와 무관하게 어떤 논증이 논리적으로 타당한지 검증하는 데 진리표를 사용합니다. 일단 진리표를 손으로 작성할 수 있게 되면, 계산기는 이해를 대체하는 도구가 아니라 여러분의 작업을 다시 확인하는 수단이 됩니다.
진리표란 단순히 논리 명제에 대한 모든 가능한 입력 조합과, 각 조합이 만들어내는 출력을 짝지어 놓은 것입니다.
기본 논리 연산자 NOT, AND, OR는 어떻게 작동하나요?
함의나 다변수 표현식을 다루기 전에, 가장 단순한 세 가지 논리 연산자를 확실히 익혀두는 것이 도움이 됩니다. 더 복잡한 명제는 결국 NOT, AND, OR를 다양한 방식으로 결합하고 중첩한 것에 불과하기 때문입니다.
1. ¬p (부정)
부정(NOT)은 명제의 진리값을 단순히 뒤집습니다. p | ¬p 참 | 거짓 거짓 | 참 p가 "하늘은 파랗다"이고 p가 참이라면, ¬p — "하늘은 파랗지 않다" — 는 거짓입니다. 부정은 두 명제를 결합하는 것이 아니라 하나의 변수에만 작용하는 유일한 연산자입니다.
2. p 그리고 q (논리곱)
논리곱(AND)은 두 명제가 모두 참일 때만 참입니다. p | q | p 그리고 q 참 | 참 | 참 참 | 거짓 | 거짓 거짓 | 참 | 거짓 거짓 | 거짓 | 거짓 가능한 네 개의 행 중에서 p와 q가 모두 참인 단 하나의 행만 전체 명제를 참으로 만듭니다. 이는 기본 논리 연산자 중 가장 엄격한 연산자로, 입력값 하나만 거짓이어도 논리곱 전체가 거짓이 됩니다.
3. p 또는 q (논리합)
논리합(OR)은 적어도 하나의 명제가 참이면 참입니다. p | q | p 또는 q 참 | 참 | 참 참 | 거짓 | 참 거짓 | 참 | 참 거짓 | 거짓 | 거짓 p와 q가 모두 거짓인 행만 논리합을 거짓으로 만듭니다. 이는 명제 논리와 부울 대수 전반에서 사용되는 포함적 OR로, 두 명제가 모두 참이어도 여전히 참으로 취급됩니다. 이는 정확히 하나만을 의미하는 일상적인 "둘 중 하나"와는 다릅니다.
NOT은 하나의 값을 뒤집고, AND는 모든 것이 참이어야 하며, OR는 모든 것이 거짓일 때만 실패합니다.
진리표 계산기는 함의(p → q)를 어떻게 계산하나요?
함의는 p → q로 표기하고 "p이면 q이다"라고 읽으며, 사람들이 가장 헷갈리는 논리 연산자입니다. 일상 대화에서 느껴지는 "만약... 라면" 문장과 맞아떨어지지 않기 때문입니다. 진리표 계산기는 단 하나의 규칙만으로 이를 계산합니다: p → q는 p가 참이고 q가 거짓인 단 한 가지 상황에서만 거짓이며, 그 외의 모든 경우에는 참입니다.
1. 1단계 — p와 q의 모든 조합 나열하기
변수가 두 개이면 2² = 4개의 행이 있습니다: 참참, 참거짓, 거짓참, 거짓거짓.
2. 2단계 — 각 행에 함의 규칙 적용하기
p | q | p → q 참 | 참 | 참 참 | 거짓 | 거짓 거짓 | 참 | 참 거짓 | 거짓 | 참 거짓이 되는 행은 참, 거짓 하나뿐입니다 — p가 q를 약속했지만 q가 일어나지 않은 경우입니다.
3. 3단계 — "의외로" 참이 되는 두 행 해석하기
p가 거짓일 때(거짓참과 거짓거짓 행), q와 상관없이 함의는 참이 됩니다. 전제가 거짓이면 명제는 "공허하게 참"이 되기 때문입니다 — 애초에 하지도 않은 약속을 어길 수는 없습니다. 이는 함의 진리표에서 가장 직관적이지 않게 느껴지는 부분이지만, 명제 논리에서는 반드시 필요한 개념입니다.
4. 4단계 — 실제 예시로 검증하기
"비가 오면 땅이 젖는다." 비가 오지 않는다면(p가 거짓), 땅이 어떤 상태이든 이 명제는 모순되지 않습니다 — 이것이 바로 거짓참과 거짓거짓 행이 모두 참으로 나오는 이유입니다.
p → q는 정확히 한 행에서만 거짓입니다: p가 참이고 q가 거짓인 경우입니다. 그 외의 모든 조합은 함의를 참으로 만듭니다.
(p ∧ q) → r의 진리표는 어떤 모습인가요?
세 번째 변수를 추가하면 행의 개수가 곱해져 2³ = 8이 됩니다. (p ∧ q) → r이라는 표현식은 "p와 q가 모두 참이면 r도 참이다"라고 읽으며, 이 진리표를 만들려면 r에 함의 규칙을 적용하기 전에 중간 열인 p ∧ q를 먼저 계산해야 합니다.
1. 1단계 — p, q, r의 모든 8가지 조합 나열하기
변수가 세 개일 때는 행이 빠지거나 중복되지 않도록 정해진 순서로 모든 조합을 순환합니다: 참참참, 참참거짓, 참거짓참, 참거짓거짓, 거짓참참, 거짓참거짓, 거짓거짓참, 거짓거짓거짓.
2. 2단계 — 중간 열 p ∧ q 계산하기
p ∧ q는 p와 q가 모두 참인 두 행(참참참과 참참거짓)에서만 참이고, 나머지 여섯 행에서는 거짓입니다.
3. 3단계 — (p ∧ q)와 r 사이에 함의 적용하기
p | q | r | p∧q | (p∧q)→r 참 | 참 | 참 | 참 | 참 참 | 참 | 거짓 | 참 | 거짓 참 | 거짓 | 참 | 거짓 | 참 참 | 거짓 | 거짓 | 거짓 | 참 거짓 | 참 | 참 | 거짓 | 참 거짓 | 참 | 거짓 | 거짓 | 참 거짓 | 거짓 | 참 | 거짓 | 참 거짓 | 거짓 | 거짓 | 거짓 | 참
4. 4단계 — 결과 해석하기
거짓이 되는 유일한 행은 참참거짓입니다: p와 q가 모두 참이지만 r이 거짓인 경우로, 전건(p ∧ q)은 성립하지만 후건은 성립하지 않는 유일한 경우입니다. 나머지 모든 행은 r이 참이거나, 혹은 p ∧ q가 이미 거짓이어서 함의가 공허하게 참이 되기 때문에 참이 됩니다.
(p ∧ q) → r의 가능한 8개 행 중에서 명제 전체를 거짓으로 만드는 행은 단 하나뿐입니다: p와 q가 참이고 r이 거짓인 경우입니다.
진리표 계산기로 동치 명제를 증명하려면 어떻게 해야 하나요?
두 명제는 모든 행에서 진리표의 출력 열이 동일할 때 — 몇 가지 예시가 아니라 가능한 모든 입력 조합에서 — 논리적으로 동치 명제라고 합니다. 이것이 바로 부울 대수에서 가장 유용한 결과 중 하나인 드모르간의 법칙, 즉 ¬(p ∧ q)가 ¬p ∨ ¬q와 동치라는 사실을 진리표 계산기로 증명하는 방법입니다.
1. 1단계 — p ∧ q와 그 부정에 대한 열 만들기
p | q | p∧q | ¬(p∧q) 참 | 참 | 참 | 거짓 참 | 거짓 | 거짓 | 참 거짓 | 참 | 거짓 | 참 거짓 | 거짓 | 거짓 | 참
2. 2단계 — ¬p, ¬q와 그 논리합에 대한 열 만들기
p | q | ¬p | ¬q | ¬p∨¬q 참 | 참 | 거짓 | 거짓 | 거짓 참 | 거짓 | 거짓 | 참 | 참 거짓 | 참 | 참 | 거짓 | 참 거짓 | 거짓 | 참 | 참 | 참
3. 3단계 — 두 출력 열 비교하기
¬(p∧q): 거짓, 참, 참, 참 ¬p∨¬q: 거짓, 참, 참, 참 두 열은 모든 행에서 일치하며, 이것이 바로 논리적 동치의 정의입니다 — 두 명제는 같은 것을 서로 다르게 표현한 것일 뿐입니다.
4. 4단계 — 패턴 일반화하기
드모르간의 두 번째 법칙도 같은 방식으로 작동합니다: ¬(p ∨ q)는 ¬p ∧ ¬q와 동치입니다. 두 법칙 모두 표현식 전체를 부정하면 연산자가 뒤바뀌고(AND는 OR로, OR는 AND로) 부정이 각 변수에 분배됩니다 — 이 규칙은 코드와 디지털 논리 설계에서 부울 대수 표현식을 단순화할 때 끊임없이 등장합니다.
두 진리표가 모든 행에서 같은 출력 열을 만들어낼 때, 두 명제는 겉보기에 아무리 다르게 쓰여 있어도 동치 명제입니다.
진리표를 손으로 작성할 때 피해야 할 실수는 무엇인가요?
잘못된 진리표 대부분은 논리 연산자 자체를 이해하지 못해서가 아니라, 몇 가지 예측 가능한 실수에서 비롯됩니다. 이런 실수들을 미리 알아두면 다시 확인하는 수고를 크게 줄일 수 있습니다.
1. 행을 빠뜨리거나 중복하기
변수가 n개이면 정확히 2ⁿ개의 행이 있어야 하며, 일관된 순서(이진수를 세는 것과 같은 방식: 참참참, 참참거짓, 참거짓참...)로 순환해야 합니다. 행이 빠지거나 중복되면 표가 실제로 모든 경우를 다루지 못하게 되어, 이를 바탕으로 한 동치 검사가 모두 깨지게 됩니다.
2. 함의를 "그리고"로 잘못 읽기
p → q는 p ∧ q와 같지 않습니다. 함의는 정확히 한 행(p 참, q 거짓)에서만 거짓이지만, 논리곱은 세 개의 행에서 거짓입니다. 이 둘을 혼동하는 것이 명제 논리에서 가장 흔한 진리표 실수입니다.
3. 연산자 우선순위를 잊어버리기
(p ∧ q) → r에서는 괄호가 중요합니다 — ∧를 →보다 먼저 계산해야 합니다. 괄호가 없으면 p ∧ (q → r)은 완전히 다른 진리표를 가진 전혀 다른 명제가 됩니다.
4. 드모르간의 법칙을 절반만 적용하기
¬(p ∧ q)를 ¬p ∧ ¬q로 부정하면서 AND를 OR로 바꾸는 것을 잊어버리면, 원래 명제와 동치가 아닌 명제가 만들어집니다. 연산자와 각 변수는 함께 부정되어야 합니다.
진리표 오류는 거의 대부분 논리 자체의 결함이 아니라, 빠뜨린 행이나 혼동된 연산자, 불완전한 부정에서 비롯됩니다.
부울 대수 계산을 어떻게 검증할 수 있나요?
손으로 작성한 진리표를 믿기 전에, 다른 다단계 계산을 다시 확인할 때와 마찬가지로 몇 가지 빠른 점검을 해보세요.
1. 행 개수 다시 세어보기
변수가 n개인 명제는 정확히 2ⁿ개의 행을 가져야 합니다. 변수 2개면 4행, 변수 3개면 8행입니다. 개수가 맞지 않는다면 행이 빠졌거나 중복된 것입니다.
2. 규칙에 맞춰 거짓 행 점검하기
함의의 경우 p가 참이고 q가 거짓인 행만 거짓이어야 합니다. 논리곱의 경우 모두 참인 행만 참이어야 합니다. 어떤 행의 결과가 연산자의 정의 규칙과 맞지 않는다면, 그 행을 다시 확인하세요.
3. 한 행이 아니라 전체 열로 동치 검증하기
네 개의 행 중 세 개만 일치하는 두 표현식은 동치가 아닙니다 — 모든 행이 하나도 빠짐없이 일치해야 합니다. 손으로 확인한 결과가 불확실하다면 진리표 생성기나 계산기를 사용해 전체 열을 한 번에 검증하세요.
행의 개수를 세고, 거짓이 되는 경우를 정의 규칙과 대조하고, 모든 행이 일치하기 전까지는 두 명제를 동치라고 부르지 마세요.
Solvify의 진리표 계산기로 논리를 검증하세요
NOT, AND, OR, 함의가 행마다 어떻게 작동하는지 이해하고 나면, 진리표 계산기는 사고 과정을 건너뛰는 지름길이 아니라 스스로의 추론을 검증하는 수단이 됩니다. Solvify의 단계별 풀이 도구는 논리 표현식의 각 행을 개별적으로 계산하며, 함의를 적용하기 전의 p ∧ q 같은 중간 열까지 보여주므로, 여러분이 직접 작성한 표와 비교해 빠뜨린 행, 잘못 적용한 연산자, 절반만 끝낸 드모르간의 법칙 등 실수가 정확히 어디서 발생했는지 찾을 수 있습니다. 먼저 진리표를 손으로 직접 풀어보고 계산기는 최종 열을 확인하는 용도로만 사용하면, 명제 논리와 부울 대수 수업에서 오래 남는 숙련도를 기를 수 있습니다 — 계산기가 확인해주기 전에 이미 함의는 정확히 한 행에서만 거짓이라는 것, 3변수 명제는 8개의 행이 필요하다는 것, 두 표현식은 모든 행이 일치할 때만 동치 명제라는 것을 직관적으로 알아차릴 수 있게 됩니다.
진리표 계산기의 목표는 여러분의 추론을 대체하는 것이 아니라 확인하는 것이어야 합니다 — 먼저 표를 손으로 작성한 다음 확인하세요.
관련 게시물
관련 수학 풀이
단계별 풀이
최종 답만이 아니라 진리표의 모든 행과 중간 열이 계산되는 과정을 확인하세요.
AI 수학 튜터
함의, 드모르간의 법칙, 그 밖의 어떤 논리 연산자든 완전히 이해될 때까지 후속 질문을 해보세요.
연습 모드
추가적인 진리표와 부울 대수 문제를 반복 연습하여 속도와 정확도를 높이세요.