Computer Science/컴퓨터 과학이 여는 세계

컴퓨터과학이 여는 세계_5.2 부울의 오리지날 책: 부울논리와 부울대수_이광근

피터파스칼 2017. 4. 16. 22:01


    부울(George Boole)

 부울은 1854년 "An Investigation of the Laws of Thought"(생각의 법칙의 조사) 라는 논문을 내놓는다. 이 논문에서 아래와 같은 핵심 핵심 두 가지를 내놓는다.

  ▶ 생각은 조립식

  ▶ 조립방법 세 가지 : AND(그리고), OR(또는), NOT(아닌)

 그는 A라는 생각과 B라는 생각을 했다면 두 가지 생각을 조립해 다른 생각을 낼 수 있다고 했다. 또, 그 만들어진 생각을 가지고 다른 생각을 만들 수 있다고 했다. 그것들이 부울대수/부울논리 이다.


 AND(그리고)는 두 가지 생각이 모두 참일 때만 참이고 나머진 거짓 조합 방식이다.


 OR(또는)은 두 가지 생각이 모두 거짓일 때만 거짓이고 나머진 참인 조합 방식이다.


 NOT(아닌)은 한 생각이 거짓이라면 참이고 참이라면 거짓인 조합 방식이다.


이런식으로 잔뜩 만들어낸 논리를 부울 논리이다.

AND는 곱하기로, OR은 더하기로, NOT은 -로 나타낸 식들이다.