O bi condicional (<->) é verdadeiro quando
conexão lógica representada pelo bi condicional (<->)
negação do bi condicional (<->)
Ambas as condições são verdadeiras.
Negação da equivalência
Equivalência
