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

1. 부울 대수

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


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

  ㅇ (변수)  부울 변수 / 논리 변수 / 2치 변수 (Boolean Variable)
     - 참(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)  
     - 부울 연산에 의해 표현된 식                             ☞ 수리 논리식, 조건식(조건문) 참조
        . 디지털 논리회로의 입력부터 출력까지 계산되는 논리를 표현

  ㅇ (함수)  부울 함수 (Boolean Function) / 논리 함수 (Logic Function)
     - 부울 식을 입출력 관계의 함수로 표현한 것
     - 구성 : 셋
        . 부울 변수(논리 변수), 부울 연산(논리 연산) 기호, 논리값(0,1)
     - 例) Y(A,B,C) = AB + A'C
        . A,B,C : 부울 변수, + : 연산 기호, Y(A,B,C) : 부울 함수