진리표

진리표

진리표는 복합 명제의 진릿값이 구성 요소 명제의 진릿값에 따라 어떻게 달라지는지 행별로 나타내는 표이다. 두 값 논리에서는 각 명제가 참 또는 거짓이며, 연결된 명제의 결과는 구성 요소의 값과 사용된 논리 연결사에 따라 결정된다. 명제 논리에서 진리표는 가능한 입력값을 빠짐없이 살펴보는

진리표는 복합 명제의 진릿값이 구성 요소 명제의 진릿값에 따라 어떻게 달라지는지 행별로 나타내는 표이다. 두 값 논리에서는 각 명제가 참 또는 거짓이며, 연결된 명제의 결과는 구성 요소의 값과 사용된 논리 연결사에 따라 결정된다.^[1] 명제 논리에서 진리표는 가능한 입력값을 빠짐없이 살펴보는 기본 표현이다.^[3]

1. 개요

변수가 $n$ 개인 논리식에는 각 변수에 참 또는 거짓을 배정하는 조합이 $2^{n}$ 개 있다. 진리표는 이 조합마다 논리식의 출력을 기록해, 특정 입력에서의 결과나 두 논리식의 동치 여부를 확인하게 한다.^[3]

진리표는 디지털 회로의 입력과 출력 관계를 정리하거나, 프로그래밍의 조건부 논리를 평가하는 데도 쓰인다.^[2]^[5] 가능한 경우를 표로 드러내므로 논리식을 다른 표현으로 옮기는 바탕이 되기도 한다.^[3]

2. 진리표의 구성과 입력 조합

진리표를 만들 때는 먼저 논리식에 등장하는 변수를 모두 확인하고, 각 변수에 참과 거짓을 배정한 조합을 나열한다. 변수가 두 개인 $p, q$ 라면 가능한 조합은 $(참, 참)$ , $(참, 거짓)$ , $(거짓, 참)$ , $(거짓, 거짓)$ 의 네 가지다.^[3]

일반적으로 변수 수가 $n$ 이면 입력 조합은 $2^{n}$ 개이며, 표의 각 행은 그중 하나를 나타낸다. 각 행에서 논리식의 진릿값을 계산해 적으면 모든 입력 조건에서 식이 어떻게 동작하는지 확인할 수 있다.^[3]^[5]

3. 논리 연결사별 진릿값

복합 명제는 단순 명제를 부정, 논리곱, 논리합, 조건문 등의 연결사로 결합해 만든다. 진리표는 연결된 명제의 참과 거짓이 각 구성 요소의 값에 따라 어떻게 정해지는지 보여 준다.^[1] 예를 들어 부정은 한 명제의 진릿값을 뒤집고, 논리곱은 결합된 명제들의 진릿값을 함께 고려한다.^[1]

식 $\neg p \land \neg q$ 는 $p$ 와 $q$ 가 모두 거짓일 때 참이고, 그 밖의 조합에서는 거짓이다. 특히 $p$ 와 $q$ 가 모두 참이면 두 부정이 모두 거짓이므로 그 논리곱도 거짓이다.^[4] 이 계산은 논리곱과 부정의 작동을 차례로 적용한 결과다.

4. 논리식의 분석과 동치 검증

진리표의 각 행은 특정 입력 조합과 그에 대응하는 논리식의 출력을 연결한다. 이를 통해 복합 논리식의 결과를 입력별로 확인하고, 여러 연결사가 들어간 식도 단계적으로 분석할 수 있다.^[3]

두 논리식이 모든 입력 조합에서 같은 출력을 내면 진리표를 통해 두 식이 동치임을 확인할 수 있다.^[3] 조건명제 $p \to q$ 는 전건 $p$ 가 참이고 후건 $q$ 가 거짓인 경우에만 거짓이며, 나머지 경우에는 참이다.^[6] 따라서 조건명제를 분석할 때는 이 한 가지 거짓 조합을 구별하면 된다.

5. 논리식 표현과 회로 설계

진리표는 논리 함수의 입력과 출력을 정리하고, 이를 최소항 표현이나 카르노 맵으로 옮기는 기초가 된다.^[3] 각 행의 출력값을 정리하면 논리식이 어떤 입력 조건에서 참이 되는지 살펴볼 수 있다.

디지털 논리 설계에서는 AND, OR, NOT 같은 연산을 이용해 회로를 구성하며, 진리표로 입력과 출력의 관계를 나타낼 수 있다.^[5] 프로그래밍에서도 조건문과 분기별 결과를 점검하는 데 진리표가 활용된다.^[2]^[5] 이처럼 같은 표기법이 회로의 논리 동작과 프로그램의 조건 평가를 정리하는 데 쓰인다.