불리언 벤 다이어그램에 대하여

왜 커다란 벤 다이어그램이 있죠? 왜 이상한 기호가 있죠? 아뿔싸...

• 이 모듈에는 벤 다이어그램의 각 영역마다 버튼이 1개씩 있고, 어떤 부분에도 포함되지 않는 부분을 뜻하는 버튼이 1개로 총 8개의 버튼이 있습니다.
• 세 개의 원의 명칭은 각각 "A"(위), "B"(아래 왼쪽), "C"(아래 오른쪽)입니다.
• 각 영역에 대해 벤 다이어그램 위에 표시된 부울 논리 (boolean logic) 식의 값이 "참"인지 "거짓"인지를 다음 규칙들을 이용해 계산하세요.
  • 만약 영역이 어떤 원 안에 포함된다면, 그 원에 해당하는 값이 "참"입니다. 아니라면, 그 원에 해당하는 값이 "거짓"입니다.
    예시: 정가운데 영역은 세 원 모두에 포함되므로, 그 영역을 계산할 때에는 "A", "B", "C"의 값이 모두 "참"입니다.
  • 괄호 안의 식을 먼저 계산하고 그 다음 괄호 밖의 식을 계산하세요.
  • 아래에 각 연산자가 그림으로 설명되어 있습니다 (회색 영역이 "참"을 의미합니다).
  • 만약 어떤 영역에 대해 계산한 값이 "참"이라면, 그 영역의 버튼을 누르세요. 영역이 초록색으로 변합니다.
• "참"인 영역에 해당하는 모든 버튼을 누르면 모듈이 해제됩니다.
• 참고: 만약 잘못된 버튼을 누른다면, 실수로 처리되며 해당 영역이 붉은색으로 변합니다.

X ∧ Y AND 논리곱	X ∨ Y OR 논리합	X ⊻ Y XOR 배타적 논리합	X → Y IMPLIES 함의

X | Y NAND 부정 논리곱	X ↓ Y NOR 부정 논리합	X ↔ Y XNOR 부정 배타적 논리합	X ← Y IMPLIED BY 역함의