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.