A = { Arturo è un cavaliere }
B = { Bernardo è un cavaliere}
¬A∧B = {Io sono un furfante, lui non lo è }
(¬A∧B)↔A = { Io (Arturo) sono un furfante, lui (Bernardo) non lo è se e solo se io (Arturo) sono un cavaliere }
| A |
B |
¬A∧B | (¬A∧B)↔A |
| V |
V |
F |
F |
| F |
V |
V |
F |
| V |
F |
F | F |
| F |
F | F |
V |
L'unica possibilità, perchè l' affermazione non sia contraddittoria, è Arturo furfante e Bernardo furfante.