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