논리합
위키백과 ― 우리 모두의 백과사전.
수리 논리학에서 논리합이란 주어진 복수 명제에 적어도 1개 이상의 참이 있는지를 나타내는 논리 연산이다. OR라고도 한다.
두 명제 P, Q 에 대하여 논리합은 P ∨ Q 라고 기록하고 ‘P 또는 Q’라고 읽는다.
목차 |
[편집] 예시
- 내 키는 160cm 이상이다.
- 내 몸무게는 50kg 이상이다.
위 두 명제의 논리합은
- 내 키는 160cm 이상이거나 나의 몸무게는 50kg 이상이다.
가 된다.
[편집] 특징
P ∨ Q 은 부정과 논리곱을 사용했다. ¬(¬P ∧ ¬Q) 와 동일하다. 따라서, 논리합은 부정과 논리곱으로 나타낼수 있다.
- P ∨ Q = ¬(¬P ∧ ¬Q)
반대로, 논리곱은 논리합과 부정으로 나타낼수 있다.
- P ∧ Q = ¬(¬P ∨ ¬Q)
[편집] 진리표
명제 P | 명제 Q | P ∨ Q |
---|---|---|
참 | 참 | 참 |
참 | 거짓 | 참 |
거짓 | 참 | 참 |
거짓 | 거짓 | 거짓 |
[편집] 같이 보기
논리 연산 |