Investor's wiki

부울 대수학

부울 대수학

λΆ€μšΈ λŒ€μˆ˜ν•™μ΄λž€ λ¬΄μ—‡μž…λ‹ˆκΉŒ?

λΆ€μšΈ λŒ€μˆ˜ν•™μ€ 논리 값에 λŒ€ν•œ 연산을 μ²˜λ¦¬ν•˜κ³  이진 λ³€μˆ˜λ₯Ό ν†΅ν•©ν•˜λŠ” μˆ˜ν•™μ˜ ν•œ λΆ€λ¬Έμž…λ‹ˆλ‹€. λΆ€μšΈ λŒ€μˆ˜ν•™μ€ μˆ˜ν•™μž George Boole이 1854년에 μ“΄ μ±…μ—μ„œ κ·Έ 기원을 μΆ”μ ν•©λ‹ˆλ‹€.

λΆ€μšΈ λŒ€μˆ˜μ˜ ꡬ별 μš”μ†ŒλŠ” 이진 λ³€μˆ˜μ˜ μ—°κ΅¬λ§Œ λ‹€λ£¬λ‹€λŠ” κ²ƒμž…λ‹ˆλ‹€. κ°€μž₯ 일반적으둜 λΆ€μšΈ λ³€μˆ˜λŠ” 1("true") λ˜λŠ” 0("false")의 κ°€λŠ₯ν•œ κ°’μœΌλ‘œ ν‘œμ‹œλ©λ‹ˆλ‹€. λ³€μˆ˜λŠ” 집합 이둠과 같이 더 λ³΅μž‘ν•œ 해석을 κ°€μ§ˆ μˆ˜λ„ μžˆμŠ΅λ‹ˆλ‹€. λΆ€μšΈ λŒ€μˆ˜λŠ” 이진 λŒ€μˆ˜λΌκ³ λ„ ν•©λ‹ˆλ‹€.

λΆ€μšΈ λŒ€μˆ˜ν•™ μ΄ν•΄ν•˜κΈ°

λΆ€μšΈ λŒ€μˆ˜λŠ” ν›„μžκ°€ 수치 연산을 닀루고 μ „μžκ°€ 논리 연산을 닀루기 λ•Œλ¬Έμ— κΈ°λ³Έ λŒ€μˆ˜μ™€ λ‹€λ¦…λ‹ˆλ‹€. 기초 λŒ€μˆ˜ν•™μ€ λ§μ…ˆ, λΊ„μ…ˆ, κ³±μ…ˆ, λ‚˜λˆ—μ…ˆκ³Ό 같은 기본적인 μˆ˜ν•™ κΈ°λŠ₯을 μ‚¬μš©ν•˜μ—¬ ν‘œν˜„λ˜λŠ” 반면 λΆ€μšΈ λŒ€μˆ˜ν•™μ€ κ²°ν•©, 뢄리 및 뢀정을 μ²˜λ¦¬ν•©λ‹ˆλ‹€.

Boolean algebra의 κ°œλ…μ€ George Boole이 그의 μ €μ„œ "The Mathematical Analysis of Logic"μ—μ„œ 처음 μ†Œκ°œν–ˆμœΌλ©° 그의 μ €μ„œ "An Investigation of the Laws of Thought"μ—μ„œ λ”μš± ν™•μž₯λ˜μ—ˆμŠ΅λ‹ˆλ‹€. λΆ€μšΈ λŒ€μˆ˜ν•™μ˜ κ°œλ…μ΄ μžμ„Ένžˆ μ„€λͺ…λ˜μ—ˆκΈ° λ•Œλ¬Έμ— λΆ€μšΈ λŒ€μˆ˜ν•™μ˜ μ£Όμš” μš©λ„λŠ” 컴퓨터 ν”„λ‘œκ·Έλž˜λ° μ–Έμ–΄μ˜€μŠ΅λ‹ˆλ‹€. κ·Έκ²ƒμ˜ μˆ˜ν•™μ  λͺ©μ μ€ 집합 이둠과 톡계 에 μ‚¬μš©λ©λ‹ˆλ‹€.

금육의 λΆ€μšΈ λŒ€μˆ˜ν•™

λΆ€μšΈ λŒ€μˆ˜λŠ” μ‹œμž₯ ν™œλ™μ˜ μˆ˜ν•™μ  λͺ¨λΈλ§μ„ 톡해 κΈˆμœ΅μ— μ‘μš©ν•  수 μžˆμŠ΅λ‹ˆλ‹€. 예λ₯Ό λ“€μ–΄, μŠ€ν†‘ μ˜΅μ…˜ 의 가격 책정에 λŒ€ν•œ 연ꡬ λŠ” κΈ°λ³Έ μ¦κΆŒμ—μ„œ κ°€λŠ₯ν•œ 결과의 λ²”μœ„λ₯Ό λ‚˜νƒ€λ‚΄λŠ” 이진 트리λ₯Ό μ‚¬μš©ν•˜μ—¬ 도움을 받을 수 μžˆμŠ΅λ‹ˆλ‹€. 두 가지 κ°€λŠ₯ν•œ 결과만 μžˆλŠ” 이항 μ˜΅μ…˜ 가격 μ±…μ • λͺ¨λΈ μ—μ„œ λΆ€μšΈ λ³€μˆ˜λŠ” μœ κ°€ 증ꢌ κ°€κ²©μ˜ μƒμŠΉ λ˜λŠ” ν•˜λ½μ„ λ‚˜νƒ€λƒ…λ‹ˆλ‹€.

μ΄λŸ¬ν•œ μœ ν˜•μ˜ λͺ¨λΈλ§μ€ ν•„μš”ν•©λ‹ˆλ‹€ . μ–Έμ œλ“ μ§€ 행사할 수 μžˆλŠ” λ―Έκ΅­ μ˜΅μ…˜ μ—μ„œ μœ κ°€ 증ꢌ κ°€κ²©μ˜ κ²½λ‘œλŠ” μ΅œμ’… κ°€κ²©λ§ŒνΌ μ€‘μš”ν•©λ‹ˆλ‹€. 이항 μ˜΅μ…˜ 가격 μ±…μ • λͺ¨λΈμ—μ„œλŠ” μœ κ°€ 증ꢌ 가격 경둜λ₯Ό 일련의 κ°œλ³„ μ‹œκ°„ λ²”μœ„λ‘œ λΆ„ν• ν•΄μ•Ό ν•©λ‹ˆλ‹€.

λ”°λΌμ„œ 이항 μ˜΅μ…˜ 가격 μ±…μ • λͺ¨λΈμ„ 톡해 투자자 λ˜λŠ” κ±°λž˜μžλŠ” ν•œ κΈ°κ°„μ—μ„œ λ‹€μŒ κΈ°κ°„μœΌλ‘œ μžμ‚° κ°€κ²©μ˜ λ³€ν™”λ₯Ό λ³Ό 수 μžˆμŠ΅λ‹ˆλ‹€. 이λ₯Ό 톡해 λ‹€λ₯Έ μ§€μ μ—μ„œ λ‚΄λ¦° 결정을 기반으둜 μ˜΅μ…˜μ„ 평가할 수 μžˆμŠ΅λ‹ˆλ‹€.

λ―Έκ΅­ 기반 μ˜΅μ…˜μ€ μ–Έμ œλ“ μ§€ 행사할 수 있기 λ•Œλ¬Έμ— κ±°λž˜μžλŠ” μ˜΅μ…˜μ„ 행사해야 ν•˜λŠ”μ§€ λ˜λŠ” μž₯κΈ°κ°„ λ³΄μœ ν•΄μ•Ό ν•˜λŠ”μ§€ κ²°μ •ν•  수 μžˆμŠ΅λ‹ˆλ‹€. 이항 트리 λ₯Ό 뢄석 ν•˜λ©΄ κ±°λž˜μžκ°€ μ˜΅μ…˜μ„ 행사해야 ν•˜λŠ”μ§€ 미리 μ•Œ 수 μžˆμŠ΅λ‹ˆλ‹€. μ–‘μˆ˜ 값이 있으면 μ˜΅μ…˜μ„ 행사해야 ν•˜κ³  값이 음수이면 κ±°λž˜μžλŠ” ν¬μ§€μ…˜μ„ μœ μ§€ν•΄μ•Ό ν•©λ‹ˆλ‹€.

##ν•˜μ΄λΌμ΄νŠΈ

  • κΈˆμœ΅μ—μ„œ λΆ€μšΈ λŒ€μˆ˜λŠ” 이항 μ˜΅μ…˜ 가격 μ±…μ • λͺ¨λΈμ— μ‚¬μš©λ˜λ©°, μ΄λŠ” μ˜΅μ…˜μ„ 행사해야 ν•˜λŠ” μ‹œκΈ°λ₯Ό κ²°μ •ν•˜λŠ” 데 도움이 λ©λ‹ˆλ‹€.

  • λΆ€μšΈ λŒ€μˆ˜μ˜ μ£Όμš” ν˜„λŒ€μ  μ‚¬μš©μ€ 컴퓨터 ν”„λ‘œκ·Έλž˜λ° 언어에 μžˆμŠ΅λ‹ˆλ‹€.

  • λΆ€μšΈ λŒ€μˆ˜λŠ” 이진 λ³€μˆ˜λ₯Ό μ‚¬μš©ν•˜μ—¬ 논리 값에 λŒ€ν•œ 연산을 μ²˜λ¦¬ν•˜λŠ” μˆ˜ν•™μ˜ ν•œ λΆ„μ•Όμž…λ‹ˆλ‹€.

  • κΈ°λ³Έ λŒ€μˆ˜λŠ” 수치 연산을 λ‹€λ£¨λŠ” 반면 λΆ€μšΈ λŒ€μˆ˜λŠ” 논리 연산을 λ‹€λ£Ήλ‹ˆλ‹€.

  • Boolean λ³€μˆ˜λŠ” 1 = true 및 0 = false와 같이 진리λ₯Ό λ‚˜νƒ€λ‚΄λŠ” μ΄μ§„μˆ˜λ‘œ ν‘œμ‹œλ©λ‹ˆλ‹€.