논리 연산

(논리연산에서 넘어옴)

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

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

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

연산 법칙

편집

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

  • 멱등 법칙

 

 

  • 교환 법칙

 

 

  • 결합 법칙

 

 

  • 분배 법칙

 

 

  • 흡수 법칙

 

 

 

 

  • 기타

 

 

 

 

 

 

 


 input Ainput Boutput f(A,B)X and ¬XA and B¬A and BBA and ¬BAA xor BA or B¬A and ¬BA xnor B¬A¬A or B¬BA or ¬B¬A or ¬BX or ¬X
 X or ¬X¬A or ¬BA or ¬B¬A or BA or B¬B¬AA xor BA xnor BAB¬A and ¬BA and ¬B¬A and BA and BX and ¬X
(file) (file) (zoom in)

같이 보기

편집