“Se eu como abacaxi, então não como melão, ou se eu como cocada, então como abóbora”. A negação lógica dessa afirmação é
Se eu não como abacaxi, então como melão, ou se eu não como cocada, então não como abóbora.
Eu como abacaxi e como melão, e eu como cocada e não como abóbora.
Se eu não como melão, então como abacaxi, ou se eu como abóbora, então como cocada.
Eu não como abacaxi ou como melão, ou eu não como cocada ou não como abóbora.
Eu como abacaxi e não como melão, e eu não como cocada e não como abóbora.