다음 명제와 논리적 동치인 것은 ?

정신은 건강한 사람이지만 행복한 사람이 아니라면
그 사람은 육체가 건강한 사람이 아니다.

1. 육체가 건강하면서 행복한 사람이면 그 사람은 정신이 건
강한 사람이다.
2. 행복한 사람이 아니라면, 그 사람은 정신과 육체가 모두 건
강한 사람이다.
3. 행복한 사람이 아니면, 그 사람은 정신이 건강하지만 육체
가 건강한 사람이 아니다.
4. 정신과 육체가 모두 건강한 사람이면, 그 사람은 행복한 사
람이다.
5. 정신이 건강하지 않지만 육체가 건강한 사람이면, 그 사람
은 행복한 사람이 아니다.

연역적 추론에 관한 질문을 저번에도 드렸었는데;;

제가 부족한 탓에 한 번 더 질문 드리게 되네요 ㅠ

시험 중인지라, 어떻게든 풀고 있는데.. 솔직히 뭐 이건 기본적인 것만 이해하고 심층적인 부분에선 이해가..ㅠㅠ

제가 공부를 안한 탓에, 진짜 거의 모르겠습니다 ㅠ

'진리표' 정도도 겨우 볼 정도고..휴;
피지알 능력자 분들 이 문제 저 좀 이해 좀 시켜주세요ㅠ