In un caso giudiziario sono coinvolti tre imputati A, B, e C. Furono accertati i seguenti fatti:

1. se A è innocente o B è colpevole, allora C è colpevole;
2. se C è colpevole, allora B è innocente;
3. se B è innocente e C è colpevole allora A è colpevole

Chi è colpevole e chi innocente ?

Supponiamo che A, B e C siano innocenti.
Le espressioni logiche relative ai fatti accertati sono:

1. P₁ :se A è innocente o B è colpevole, allora C è colpevole. $P_1\mathrm{:}A\vee \bar{B}\Rightarrow \bar{C}$
2. P₂: se C è colpevole, allora B è innocente. $P_2\mathrm{:}\bar{C}\Rightarrow B$
3. P₃: se B è innocente e C è colpevole allora A è colpevole. $P_3\mathrm{:}B\wedge \bar{C}\Rightarrow \bar{A}$

La tavola della verità relativa al caso è:

A	B	C	$\bar{A}$	$\bar{B}$	$\bar{C}$	$$A\vee \bar{B}$$	$P_1\mathrm{:}A\vee \bar{B}\Rightarrow \bar{C}$	$P_2\mathrm{:}\bar{C}\Rightarrow B$	$B\wedge \bar{C}$	$P_3\mathrm{:}B\wedge \bar{C}\Rightarrow \bar{A}$
V	V	V	F	F	F	V	F	V	F	V
V	V	F	F	F	V	V	V	V	V	F
V	F	V	F	V	F	V	F	V	F	V
V	F	F	F	V	V	V	V	F	F	V
F	V	V	V	F	F	F	V	V	F	V
F	V	F	V	F	V	F	V	V	V	V
F	F	V	V	V	F	V	F	V	F	V
F	F	F	V	V	V	V	V	F	F	V

Dall'esame della tavola della verità si evince che i fatti accertati non sono contraddittori e sicuramente A è colpevole e B è innocente mentre per C i fatti non sono sufficienti per poterlo incriminare od assolvere.