Considere a proposição “Eu vou à escola ou vou jogar futebol”. Uma proposição logicamente equivalente a ela é:
Não é verdade que eu não vou à escola e vou jogar futebol.
Se eu não vou à escola, então vou jogar futebol.
Se eu não vou jogar futebol, então eu não vou à escola.
Se eu vou à escola, então não vou jogar futebol.
Vou jogar futebol se, e somente se eu for à escola.