부울대수

소개글

부울대수(boolean algebra)를 근거로 한 스위칭 이론(switching theory)은 논리설계에 있어서 이론적인 근거가 되는 수학적 체계이다.

부울대수의 가설(공리) : 헌팅턴(E. V. Huntington)이 제시한 가설에 의하여 두개의 2진 연산자 +,  와 집합 B로 정의된 대수 체계

목차

3.1 부울 대수
3.2 조합 논리 회로
3.3 순차 회로
3.4 순차 논리 회로의 설계
3.5 카운터 설계

본문내용

결합법칙(associative law) : 모든 a,bB 에 대하여
(a + b)+c=a+(b+c) (a  b)  c=a (b  c)
분배법칙(distributive law) : 모든 a,bB 에 대하여
a (b+c) = (a  b)+(a  c)
a+(b  c) = (a+b)  (a+c)
보수(complement) : 모든 a,bB에 대하여 a가 a의 보수라 하면

..
부울대수의 기본정리
공리 2. 항등원 존재 : x+0 =x x  1=x
공리 3. 교환법칙 : x+y = y+x xy =yx
공리 4. 분배법칙
x(y+z) = xy+xz x+yz = (x+y)(x+z)
공리 5. 역의 존재 : x+x=1 xx=0
정리 1. 멱등법칙 x+x=x xx =x
정리 2. 한계법칙 x+1=1 x0 = 0
정리 3. 대합성 x =x
정리 4. 결합법칙

참고 자료

없음