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

내용 삭제됨 내용 추가됨
잔글 봇: 위키데이터 속성 추적 틀 부착 (근거 1, 근거 2)
TedBot (토론 | 기여)
잔글 봇: 문자열 변경 (' 에 → '에 )
 
20번째 줄:
“내 키는 160cm 이상이다.”와 “내 몸무게는 60kg 미만이다.” 이 두 명제의 배타적 논리합은, “내 키는 160cm 이상이고 몸무게는 60kg 이상이다. 혹은, 내 키는 160cm 미만이고 몸무게는 60kg 미만이다.”가 된다.
 
추가로, 두 명제 ''A'',''B'' 에 대한 [[교집합]] (''A'' ∧ ''B'')가 [[공집합]]이면, 배타적 논리합은 [[논리합]]과 같게 된다. 예를 들어, ''A'' = “내 키는 160cm이다.”와 ''B'' = “내 키는 170cm이다.”는 동시에 성립할 수 없기 때문에(교집합이 없음), (''A'' xor ''B'')와 (''A'' ∨ ''B'')는 동일하게 “내 키는 160cm와 170cm 중 하나다.”가 된다.
 
== 특징 ==