부울 대수학
λΆμΈ λμνμ΄λ 무μμ λκΉ?
λΆμΈ λμνμ λ Όλ¦¬ κ°μ λν μ°μ°μ μ²λ¦¬νκ³ μ΄μ§ λ³μλ₯Ό ν΅ν©νλ μνμ ν λΆλ¬Έμ λλ€. λΆμΈ λμνμ μνμ 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μ κ°μ΄ μ§λ¦¬λ₯Ό λνλ΄λ μ΄μ§μλ‘ νμλ©λλ€.