# 논리 연산

### 위키백과 ― 우리 모두의 백과사전.

논리 연산(영어: logical operation, logical connective) 혹은 불 연산(영어: boolean operation)은 참, 거짓 두가지 원소(진리값으로 불림)만 존재하는 집합(환으로 불림)에서의 연산이다.

논리합(OR, ∨), 논리곱(AND, ∧), 부정(NOT, ~/¬), 배타적 논리합(XOR, ⊕), 명제, 동치 등이 있다.

수학의 논리학이나 프로그래밍 언어에서 사용한다. 프로그래밍 언어에서는 비트 연산이라고도 한다.

### [편집] 공식

논리합=, 논리곱=, 부정=이라고 할때 아래와 같은 법칙이 성립한다.

- 멱등 법칙

- 교환 법칙

- 결합 법칙

- 분배 법칙

- 흡수 법칙

- 드 모르간의 법칙

- 기타

## [편집] 같이 보기

- 벤 다이어그램
- 드 모르간의 법칙
- 진리값
- 수학
- 논리학
- 프로그래밍 언어
- 논리 회로

원본 주소 ‘http://ko.wikipedia.org../../../%EB%85%BC/%EB%A6%AC/_/%EB%85%BC%EB%A6%AC_%EC%97%B0%EC%82%B0.html’

분류: 수리논리학

##### Views

- 문서
- 토론
- 현재 버전

##### 찾기

##### 다른 언어

- Dansk
- Deutsch
- English
- עברית
- Íslenska
- Italiano
- 日本語
- Македонски
- Nederlands
- Polski
- Русский
- Svenska
- ไทย
- 中文