Considere a seguinte proposição: Se estou de férias e é verão, então fico satisfeito. Essa proposição é equivalente a

Se não estou de férias e não é verão, então não fico satisfeito.

Se não estou de férias ou não é verão, então não fico satisfeito.

Se fico satisfeito, então estou de férias e é verão.

Se fico satisfeito, então não estou de férias e não é verão.

Se não fico satisfeito, então não estou de férias ou não é verão.