논리학에 대하여

논리학이 쉽다 해도, 논리학에 폭탄해체를 더하면 그렇지 않을 겁니다.

  • 각 행에 로마자 3자가 있습니다. 표 1에서 각 로마자가 의미하는 명제를 찾으세요.
  • 각 행마다, 괄호 안의 논리식을 먼저 계산하세요.
  • 로마자들 사이에는 논리 연산 기호가 표시되어 있습니다. 표 2에서 각 연산 기호의 의미를 확인하세요.
  • 명제 위의 붉은색 LED에 불이 들어와 있다면, 계산 전에 먼저 해당 명제에 부정(NOT 게이트: 참이 거짓으로 바뀌고 거짓이 참으로 바뀜)을 적용하세요.
  • 각 행마다 결괏값을 구하고, 우측 T/F 버튼으로 참(True)/거짓(False)을 입력합니다. 모두 완료하면 “Submit”을 누르세요.

지시등 확인 참고자료는 부록 A를 보세요.
배터리 확인 참고자료는 부록 B를 보세요.
포트 확인 참고자료는 부록 C를 보세요.

표 1: 명제 목록

로마자 명제 로마자 명제
A 배터리의 개수 = 지시등의 개수 N 배터리 홀더가 2개보다 많음
B 시리얼 넘버에 숫자가 로마자보다 많음 O 점등된 지시등과 점등되지 않은 지시등이 모두 있음
C IND 지시등이 있음 P 병렬 포트가 있음
D FRK 지시등이 있음 Q 포트가 정확히 2개 있음
E 점등되지 않은 지시등이 정확히 1개 있음 R PS/2 포트가 있음
F 포트 종류가 1개보다 많음 S 시리얼 넘버의 숫자들의 합 > 10
G 배터리가 2개 이상 T MSA 지시등이 있음
H 배터리가 2개보다 적음 U 배터리 홀더가 정확히 1개 있음
I 시리얼 넘버의 마지막 숫자가 홀수 V 시리얼 넘버에 모음이 있음
J 배터리가 4개보다 많음 W 지시등이 없음
K 점등된 지시등이 정확히 1개 있음 X 지시등이 정확히 1개 있음
L 지시등이 2개보다 많음 Y 포트가 5개보다 많음
M 중복되는 포트가 없음 Z 포트가 2개보다 적음

표 2: 논리 연산 기호 목록

논리 연산 기호 논리 게이트 용어로 의미
논리곱 AND 양측이 모두 참이면 결괏값이 참입니다. 아니라면 결괏값이 거짓입니다.
논리합 OR 양측 중 하나라도 참이면 결괏값이 참입니다. 아니라면 결괏값이 거짓입니다.
배타적 논리합 XOR 양측 중 정확히 하나가 참이면 결괏값이 참입니다. 아니라면 결괏값이 거짓입니다.
부정 논리곱 | NAND 양측이 모두 참이면 결괏값이 거짓입니다. 아니라면 결괏값이 참입니다.
부정 논리합 NOR 양측 중 하나라도 참이면 결괏값이 거짓입니다. 아니라면 결괏값이 참입니다.
쌍조건 XNOR 양측 중 정확히 하나가 참이면 결괏값이 거짓입니다. 아니라면 결괏값이 참입니다.
함의 (좌측에서) - 좌측이 참이고 우측이 거짓이면 결괏값이 거짓입니다. 아니라면 결괏값이 참입니다.
함의 (우측에서) - 좌측이 거짓이고 우측이 참이면 결괏값이 거짓입니다. 아니라면 결괏값이 참입니다.