Boolean Variable, Boolean Expression, Boolean Function   부울 변수, 부울 식, 부울 함수

1. 부울 대수

  ㅇ 복잡한 논리를 꽤 단순한 규칙으로 표현해 낼 수 있음 
     - 논리 값 둘 : 1(true), 0 (false)
     - 논리 연산 셋 : AND, OR, NOT (이들이 전부임)


2. 부울 대수  :  부울 변수, 부울 연산, 부울 식, 부울 함수

  ㅇ (변수)  부울 변수 (Boolean Variable) / 논리 변수 (Logic) / 2치 변수, 이진 변수 (Binary)
     - 참(1,True) 또는 거짓(0,False) 만을 값으로 갖는 변수
        . 비트(Bit)로도 나타낼 수 있음

  ㅇ (연산)  부울 연산 (Boolean Operation) / 논리 연산 (Logic Operation)
     - 기초 대수의 사칙 연산(＋,－,×,÷) 처럼, 부울 대수의 기본 논리 연산 셋 
        . 논리합,부울합 (OR,Union)         :  +  또는  OR   또는  ∨
        . 논리곱,부울곱 (AND,Intersection) :  · 또는  AND  또는  ∧  또는  `공백`
        . 논리부정 (NOT,Negation,Inverse)  :  '  또는  NOT
     * 다른 연산자들은 이들로부터 확장 가능 : NAND, NOR, XOR, XNOR 등

  ㅇ (식)  부울 식 (Boolean Expression) / 논리 식 (Logic Expression)  
     - 부울 연산에 의해 표현된 식                             
        . 디지털 논리회로에서, 입출력의 논리적 관계를, 계산 가능한 논리식으로 표현한 것
     * [참고] 
        . 수리 논리식 : 명제 연산을 논리 기호들의 식으로 나타냄, 참(True)과 거짓(False)을 다룸
        . 조건식(조건문) : 특정 조건에 따라 명령을 실행하거나 판단을 내리는 논리 구조
        . 부울 대수 정리 : 논리 연산(AND,OR,NOT) 규칙과 법칙을 정의하여 논리식을 간소화

  ㅇ (함수)  부울 함수 (Boolean Function) / 논리 함수 (Logic Function)
     - 입출력 논리 관계인 부울 식을 함수 형태로 나타낸 것
     - 구성 요소 : 셋(3)
        . 부울 변수(논리 변수), 부울 연산(논리 연산) 기호 (AND,OR,NOT), 논리값 (0,1)
     - 例) Y(A,B,C) = AB + A'C
        . Y(A,B,C) : 부울 함수,  A,B,C : 부울 변수,  + : 연산 기호

  ※ (진리표, 부울식 비교)
     - 통상, 입출력의 논리적 관계를,
     - 한눈에 살펴볼 수 있는 진리표 대신에, 부울식(논리식)으로 변환시켜 짧게 표현함
     - 단, 진리표는 단 하나 만 나오지만, 부울식(논리식)은 여러 등가적 표현이 가능함