진리표는 입력 명제의 가능한 진릿값 조합과 논리식의 결과를 표로 나열한 것이다.
원리
명제 변수가 n개이면 가능한 조합은 2ⁿ개이다. 모든 경우의 결과를 비교해 논리식의 동치나 항진성을 검사할 수 있다.
예시
p와 q의 논리곱은 둘 다 참일 때만 참이고 논리합은 적어도 하나가 참이면 참이다. 네 가지 조합을 표로 확인할 수 있다.
주의할 점
변수가 늘면 표가 지수적으로 커진다. 간단한 조건식 검증에는 유용하지만 큰 논리 문제에서는 다른 증명이나 자동 추론 방법이 필요하다.