논리 연산자의 하나. P와 Q를 2개의 논리 변수로 취할 때 ‘P 배타 Q’의 연산 결과는 P가 참이고 Q가 거짓일 때 참이 되고, P가 거짓이거나 P와 Q가 모두 참일 때는 거짓이 된다. 배타는 배제한다는 의미이므로 ‘P 배타 Q’는 직관적으로 ‘Q를 배제한 P’를 의미한다. ‘P 배타 Q’는 논리 연산자 기호 AND와 NOT의 결합으로 ‘P AND-NOT Q’, ‘P→Q’, ‘P~∧Q’ 등으로 표기하기도 한다.