A = { A è un cavaliere }

B = { B è un cavaliere}

C = { C è un cavaliere }

B↔A = {B è un cavaliere se e solo se A è un cavaliere}

(A→C)↔B  = { Se A è un cavaliere lo è anche C se e solo se B è cavaliere }

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

L'unica possibilità, perchè le due affermazioni non siano contraddittorie, è A cavaliere, B cavaliere, C cavaliere