질문입니다.

==================▼질문 양식▼==================

질문하는 선생님 : 복지훈 선생님
질문하는 강의/교재명 : 해커스 20대 대기업 인적성 최신기출유형 2018하반기
질문하는 문제의 위치 : 265 페이지 7번 ,8번

제가 기초추리에서 공식으로 이용한 전제/결론 풀이법 강의를 들었는데요... 이 문제들에서 벤다이어그램이 아닌 공식을 이용한 풀이를 적용하는데 어려움이 있어 질문드립니다.
7번 같은 경우 전제1 : '모든 성공한사람 -> 거짓말x 이다' , 결론: ' 어떤 영리한사람 -> 성공한사람 아니다' 라고 잡고 풀이를 진행했는데요. 우선 긍정과 부정의 상황을 고려하여 전제중 하나가 긍정인데 결론이 부정이니까 나머지 전제는 부정문이 되야겠네 하고 선택지를 봤더니 선택지 1번과 2번은 '거짓말o' 로 명제가 되어 있어 이를 '거짓말x'로 바꾸는데 어려움이 생겼습니다. 명제 대우를 이용하여 명제를 바꿀 경우 부정문이 필요하니까 부정문이 되도록 바꿔야 하나요? 7번과 8번의 공식으로 푸는 법좀 설명부탁드립니다.

추가적으로 '졸음방지에 도움이 되지 않는 것은 모두 껌이다' 라는 문장을 '졸음방지에 도움이 된다' 와 '껌' 으로 구성된 문장으로 어떻게 바뀌는지도 알려주세요...

전제/결론 문제를 다이어그램으로 풀지 공식으로풀지 고민되네요...


* 양식에 맞게 질문 작성해주셔야 상세한 답변을 받으실 수 있습니다.
* 수강하는 강의/교재에 대한 질문을 해주셔야 답변이 가능합니다.  
* 질문하고자하는 문제에 대한 정답/해설을 함께 올려주시면 빠른 답변이 가능합니다. 
* 수강하는 강의/교재에 대한 질문 답변만 가능합니다.
 
==================▼질문 작성▼==================

- 질문하는 선생님 :

- 질문하는 강의/교재명 :

- 질문하는 문제의 위치 :
- 질문 내용 :