[NCS문제해결능력] 명제문제 치환, 벤다이어그램으로 풀기