Considere a proposição composta P dada por: P: “Se o sistema cair e não houver backup, então os dados serão perdidos”. Uma proposição logicamente equivalente a P é:

“Se os dados não forem perdidos, então o sistema não caiu ou houve backup”.

“Se os dados forem perdidos, então o sistema caiu e não houve backup”.

“O sistema caiu e houve backup, e os dados não foram perdidos”.

“Se o sistema não cair ou houver backup, os dados não serão perdidos”.

“Se houve backup, então os dados não foram perdidos”.