Высказывание <<Человек счастлив тогда и только тогда, когда он здоров>> соответствует какой формуле?
Логическая формула тревиальная: "А" (где А - быть счастливым) . Логическая формула для этого высказывания будет: "A&B"
А<=>В надо что-то объяснить, иначе не добавляет формулу )))