Considere a proposição “Se estou correndo ou jogando futebol, então amanhã estarei de férias”. Uma negação lógica dessa proposição é equivalente a:

Ou estou correndo ou jogando futebol ou amanhã estarei de férias.

Ou não estou correndo ou não estou jogando futebol ou amanhã não estarei de férias.

Estou correndo ou jogando futebol, e amanhã não estarei de férias.

Se não estou correndo ou não estou jogando futebol, então amanhã não estarei de férias.

Se amanhã não estarei de férias, então não estou correndo e não estou jogando futebol.