12장, 논리합

Purpose-built post

이 포스트를 만든 이유는 혹여나 다른 사람이 이 포스트를 보고 내가 잘못 정리한 것을 피드백 받기 위함 이거나 내가 스스로 공부하기 위함 이다. - 익필

Conecnt

책에선 이번 장을 논리 곱이라고 하는데, 논리 곱은 11장에 정리하였으므로, 이번장은 논리합을 정리한다.

1. 무엇을 논리합 이라고 하는가?

논리 연산 중 하나이며, 두 명제를 합쳐 하나의 명제라도 참일 경우, 참으로 나타내는 것을 논리합 이라고 한다. 예를 들어

1. 내 키는 178Cm 이다.
   
2. 내 몸무게는 76Kg 이다.
   
   이 두 명제를 논리합 하면
   
   
3. 내 키는 178Cm 이거나 내 몸무게는 78Kg 이다.
   

이렇게 독립된 여러 명제를 복수 명제 하나로 만들 때, 명제 하나라도 참일 경우, 참으로 평가되게 나타낸 것을 논리합 이라고 한다. 집합으로 말하면, 두 명제를 합집합 한 것을 뜻한다.

참조 링크

• http://ko.wikipedia.org/wiki/논리합
  

2. 무엇을 베타적 논리합 이라고 하는가?

두 명제를 합칠 때, 명제 하나만 참으로 타나낸 것을 베타적 논리합 이라고 한다.

참조 링크

1. http://ko.wikipedia.org/wiki/베타적 논리합
   

Dirgression

베타적 논리합은 if ( (A == TRUE && B == FALSE) || (A == FALSE && B == TRUE) ) 식으로 표현 된다. 또는 if ( A != B ) 로 표현하여, 두 명제가 서로 다를 경우도 된다.