논리 연산: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
잔글 봇: 린트 오류 및 스타일 정리 |
편집 요약 없음 |
||
1번째 줄:
'''논리 연산'''({{lang|en|logical operation, logical connective}}) 혹은 '''불 연산'''({{lang|en|boolean operation}})은 [[참]], [[거짓]] 두 가지 [[원소 (수학)|원소]]([[진리값]]으로 불림)만 존재하는 [[집합]]([[환 (수학)|환]]으로 불림)에서의 [[연산 (수학)|연산]]이다.
[[논리합]](OR, ∨), [[논리곱]](AND, ∧), [[부정 (논리학)|부정]](NOT, ~/¬), [[배타적 논리합]](XOR, ⊕), [[명제]], [[동치]] 등이 있다.
[[수학]]의 [[논리학]]이나 [[프로그래밍 언어]]에서 사용한다. 프로그래밍 언어에서는 [[비트 연산]]이라고도 한다.
== 연산 법칙 ==
[[논리합]]=<math>\lor</math>, [[논리곱]]=<math>\land</math>, [[부정 (논리학)|부정]]=<math>\lnot</math>이라고 할 때 아래와 같은 법칙이 성립한다.
* 멱등 법칙
<math>A\lor A=A</math>
| |||