Запишите в виде логической формулы высказывание "неверно, что если утюг горячий, то лоб холодный". Можно ли в этом случае сразу сказать, какой утюг и какой лоб?

¬(утюг горячий ⇒ лоб холодный)
¬((¬утюг горячий) ∨ лоб холодный)
¬(утюг холодный ∨ лоб холодный)
(¬утюг холодный) ∧ (¬лоб холодный)
утюг горячий ∧ лоб горячий
Лоб горячий и утюг горячий