다음 식과 논리적으로 같은 것은?(x+y≥z AND (x+y≥z OR … | [9급 지방직 컴퓨터일반] 19년 1회차 기출문제 상세 페이지
1[9급 지방직 컴퓨터일반] 19년 1회차
다음 식과 논리적으로 같은 것은?
(x+y≥z AND (x+y≥z OR x-y≤z) AND x-y>z) OR x+y<z
1
x＋y<z
2
x－y>z
3
x＋y≥z OR x－y≤z
4
x＋y<z OR x－y>z
해설
주어진 식은 x+y<z OR x-y>z와 같다.
A를 x+y≥z, B를 x-y≤z로 두면 식은 (A AND (A OR B) AND NOT B) OR NOT A이다. 흡수 법칙으로 A AND (A OR B) = A이므로 (A AND NOT B) OR NOT A가 된다.
분배하면 (A OR NOT A) AND (NOT B OR NOT A) = NOT A OR NOT B, 곧 x+y<z OR x-y>z이다.
- x+y<z 하나만으로는 x+y≥z이면서 x-y>z인 경우를 놓친다.
- x-y>z 하나만으로는 x+y<z이면서 x-y≤z인 경우를 놓친다.
- x+y≥z OR x-y≤z는 A OR B로, A와 B가 모두 참이면 참이 되어 결과식(이때 거짓)과 다르다.
내용에 오류가 있거나 최신 법령·기준과 다른 부분이 보이면 알려주세요. 확인 후 반영하겠습니다.