Какая логическая формула соответствует следующему суждению: "Гром не грянет-мужик не перекрестится"

решение по логике
┐p ↔ ┐q.

В суждении “Гром не грянет – мужик не перекрестится”
говорится не о недостаточной религиозности мужского населения России, а о
его нерадивости, о стремлении откладывать все “на потом” и приступать к
действиям лишь тогда и только тогда, когда уже не действовать невозможно.
Поэтому данное суждение должно рассматриваться как эквивалентное, а не как
импликативное. Его логическая формула: р ↔ q.