Considere a seguinte implicação lógica: “Se é terça ou quarta, então trabalho e não vou ao cinema”. Essa implicação é equivalente a:

Se vou ao cinema e não trabalho, então não é terça, nem quarta

Se é terça ou não vou ao cinema, então trabalho ou é quarta

Se trabalho e não é terça, então vou ao cinema ou é quarta

Se vou ao cinema ou não trabalho, então não é terça, nem quarta

Se não trabalho ou não vou ao cinema, então não é terça, mas quarta