A negação da afirmação – “Se Joana está de óculos ou usando o computador, então pelo menos uma vez no dia Joana já se alimentou” – é logicamente equivalente à:

Joana está de óculos ou usando o computador, e Joana, no dia, ainda não se alimentou.

Se Joana não está de óculos e não está usando o computador, então nenhuma vez no dia Joana se alimentou.

Se Joana não se alimentou no dia, então Joana não está de óculos e não está usando o computador.

Joana está de óculos e usando o computador, e uma vez no dia Joana já se alimentou.

Joana não está de óculos e não está usando o computador e fez todas as refeições do dia.