Nell'isola dei cavalieri e dei furfanti un giorno passò un forestiero che, incontrò due abitanti Arturo e Bernardo.
Chiese ad Arturo: "Il tuo amico è un cavaliere ?". Rispose Arturo: "Almeno uno di noi due è un furfante". Di che tipo sono Arturo e Bernardo ?

L'affermazione di Arturo è vera se e solo se Arturo è un cavaliere. $P\mathrm{:}(\bar{A}\vee \bar{B})\iff A$
La tavola della verità è:

A	B	$\bar{A}$	$\bar{B}$	$\bar{A}\vee \bar{B}$	$P\mathrm{:}(\bar{A}\vee \bar{B})\iff A$
V	V	F	F	F	F
V	F	F	V	V	V
F	V	V	F	V	F
F	F	V	V	V	F

Dall'esame della tavola della verità si ricava che A deve essere un cavaliere e B deve essere un furfante.