논리합

논리합(disjunction, 論理合, OR)이란 수리 논리학에서 주어진 복수 명제에 적어도 1개 이상의 참이 있는지를 나타내는 논리 연산이다. 두 명제 P, Q에 대하여 논리합은 P ∨ Q라고 기록하고 P 또는 Q라고 읽는다.

예시 
 내 키는 160cm 이상이다.
 내 몸무게는 50kg 이상이다.

위 두 명제의 논리합은
 내 키는 160cm 이상이거나 나의 몸무게는 50kg 이상이다.
가 된다.

특징 
P ∨ Q 은 부정과 논리곱을 사용했다. ¬(¬P ∧ ¬Q) 와 동일하다. 따라서, 논리합은 부정과 논리곱으로 나타낼 수 있다.
 P ∨ Q = ¬(¬P ∧ ¬Q)

반대로, 논리곱은 논리합과 부정으로 나타낼 수 있다.
 P ∧ Q = ¬(¬P ∨ ¬Q)

진리표

같이 보기 
 부정논리합
 진리값
 진리표
 불 대수
 벤 다이어그램

논리학