두 변수의 경우
P,Q에 대해 가능한 조합은 (참,참),(참,거짓),(거짓,참),(거짓,거짓)의 네 가지다. 각 조합에서 P∧Q와 P∨Q 등의 값을 계산하면 연결사의 작동을 비교할 수 있다.
식을 단계별로 계산하기
(P∨Q)∧¬P를 계산할 때 먼저 P∨Q와 ¬P의 값을 각각 구한 뒤 논리곱을 적용할 수 있다. P가 거짓이고 Q가 참인 행에서는 전체가 참이다. 괄호가 정하는 연산 순서를 확인한다.
동치와 항진명제
모든 행에서 두 식의 값이 같으면 그 두 식은 고전 명제 논리에서 동치다. 한 식의 값이 모든 행에서 참이면 항진명제다. 몇 개의 행만 맞는다는 사실과는 다르다.
적용 범위
진리표는 명제 변수들의 모든 조합을 체계적으로 다룬다. 변수가 늘면 행 수가 빠르게 커진다. 또한 참과 거짓 두 값으로 모든 연결사를 계산하는 이 방식의 전제는 다른 논리 체계에 그대로 적용되지 않을 수 있다.