Высказывание <<Человек счастлив тогда и только тогда, когда он здоров>> соответствует какой формуле?

Логическая формула тревиальная: "А" (где А - быть счастливым) . Логическая формула для этого высказывания будет: "A&B"