Aplicar a uma bicondicional três movimentos sucessivos, a saber, negar cada uma das duas parcelas e trocar o conectivo pela disjunção exclusiva, produz uma proposição logicamente equivalente à original.
Nova Conquista!