Bicondicional A=B
Disj exclusiva
A negação da disjuncao exclusiva é a bicondicional,
A negação da bicondicional é a disjuncao exclusiva
cespe: ou A, ou B, mas nao ambos