Пусть:
p - солнце светит
q - ветер дует
r - идёт дождь

Тогда высказывание "Неверно, что если солнце светит, то ветер дует только тогда, когда идёт дождь" можно записать следующим образом:

¬(p → (q ↔ r))