문제에서는 p  q 의 내용을 찾질 못하겠어요 p -> q 밖에 안 보이는데

 

풀이에서는 왜 저렇게 나오나요