Nell'isola dei cavalieri e dei furfanti un giorno passò un forestiero che, incontrò due abitanti Arturo e Bernardo. Chiese ad Arturo: "Che tipi siete ?". Rispose Arturo : "Siamo tutti furfanti". Aggiunse Bernardo: "Ma no ! Solo uno di noi è cavaliere". Di che tipo sono Arturo e Bernardo ?



La prima affermazione è vera se e solo se Arturo è cavaliere: P 1 = ( A ¯ ∧ B ¯ ) ⇔ A P_1= ( overline{ A } and overline { B } ) dlrarrow A
La seconda affermazione è vera se e solo se Bernardo è un cavaliere: P 2 = ( A ⩒ B ) ⇔ B P_2= (A ⩒ B) dlrarrow B
Costruiamo la tavola della verità:
A B A ¯ overline{ A } B ¯ overline{ A } A ¯ ∧ B ¯ overline{ A } and overline{ B } P 1 = ( A ¯ ∧ B ¯ ) ⇔ A P_1= ( overline{ A } and overline { B } ) dlrarrow A A ⩒ B A ⩒ B P 2 = ( A ⩒ B ) ⇔ B P_2= (A ⩒ B) dlrarrow B
V V F F F F F F
V F F V F F V F
F V V F F V V V
F F V V V F F V

Dalla tavola della verità si vede che Arturo è un furfante e Bernardo è un cavaliere.