A= { A è un cavaliere }
B= {B è un cavaliere }
B→¬A =  { Se B è un cavaliere allora A è un furfante }
(B→¬A)↔A = { Se B è un cavaliere allora A è un furfante è vero se e solo se A è un cavaliere}

A	B	B→¬A	(B→¬A)↔A
V	V	F	F
V	F	V	V
F	V	V	F
F	F	V	F

Affinche l'affermazione sia completamente vera (con la doppia implicazione perchè solo i cavalieri dicono la verità) è necessario che A sia cavaliere e B sia un furfante