Dato l'enunciato
[math](a^^b)^^not(a^^b)[/math]
stabilisci se è una tautologia o una contraddizione.
[math]a[/math]
[math]b[/math]
[math](a^^b)[/math]
[math]not(a^^b)[/math]
[math](a^^b)^^not(a^^b)[/math]
v v v F F
v F F V F
F V F V F
F F F V F
[math](a^^b)^^not(a^^b)[/math]
è una contraddizione, perchè è falsa per qualsiasi valore di verità di a e b