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

(2023-05-30)

논리 변수, 이진 변수, Logic Variable, 논리 변수, Logic Operation, 논리 연산, Logic 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)  
     - 부울 연산에 의해 표현된 식                             
        . 디지털 논리회로에서, 입출력의 논리적 관계를, 계산 가능한 논리식으로 표현한 것
     * [참고] ☞ 수리 논리식, 조건식(조건문), 부울 대수 정리 참조

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

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

부울 대수
   1. 부울 대수   2. 부울변수,부울식,부울함수   3. 드모르간의 법칙   4. 진리값,진리표   5. 부울 대수의 주요 정리들   6. 부울식의 간략화   7. 카르노 맵   8. 퀸 맥클러스키  


Copyrightⓒ written by 차재복 (Cha Jae Bok)               기술용어해설 후원
"본 웹사이트 내 모든 저작물은 원출처를 밝히는 한 자유롭게 사용(상업화포함) 가능합니다"