Operações sobre proposições: equivalência