A = { Arturo è un cavaliere }

B = { Bernardo è un cavaliere}

¬B∧¬A = {Bernardo e Arturo sono entrambi furfanti}

(¬B∧¬A)↔A  = { Bernardo e Arturo sono entrambi furfanti se e solo se io (Arturo) sono un cavaliere }

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

L'unica possibilità, perchè l' affermazione non sia contraddittoria, è Arturo furfante e Bernardo cavaliere.