Considere que duas proposições são equivalentes se e somente se possuem exatamente as mesmas valorações V e F. Nesse caso, se A e B são equivalentes, é correto afirmar que ¬A?B é sempre F.