배타적 논리합: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
Hoenny (토론 | 기여)
잔글편집 요약 없음
잔글 →‎예시: 약간 다듬었습니다.
8번째 줄:
 
== 예시 ==
나의 키는 160cm이상이다160cm 이상이다.」와「나의 몸무게는 60kg미만이다60kg 미만이다.」 이 두 명제의 배타적 논리합은, 「나의 키는 160cm이상이고160cm 체중은이상이고 60kg이상이다몸무게는 60kg 이상이다. 혹은, 나의 키는 160cm미만이고160cm 체중은미만이고 60kg미만이다몸무게는 60kg 미만이다.」라는 집합이 성립된다된다.
 
추가로, 두 명제 ''A'',''B'' 에 대한 [[교집합]] (''A'' ∧ ''B'')가 [[공집합]]이면, 배타적 논리합은 [[논리합]]과 같게 된다. 예를 들어, ''A'' = 「나의 키는 160cm입니다160cm이다.」와 ''B'' = 「나의 키는170cm입니다키는 170cm이다.」는 동시에 성립할수성립할 수 없는없기 때문에(교집합이 없음)으로, (''A'' xor ''B'')와 (''A'' ∨ ''B'')는 동일하게 「나의 키는 160cm와 170cm중170cm 중 하나다.」가 된다.
 
== 특징 ==