Se o lanche não atrasa ou a salada não murcha, então não chove.

Se o lanche não atrasa e a salada não murcha, então não chove.

Se não chove, então o lanche não atrasa e a salada não murcha.

Se não chove, então o lanche não atrasa ou a salada não murcha.

Se não chove, então ou o lanche não atrasa ou a salada não murcha.