본문/내용
♣ 부울 대수 개념
1854년에 발표된 `사고의 법칙`에서 AND, OR, NOT이라는 연산자를 사용해 이진?정보를 처리할 수 있는 모델로 논이적인 판단을 수학적으로 해서하기 위해 영국의 수학자 George Boole이 제안한이론 이다.
정보를 `참` 또는 `거짓`이라는 두 개의 논리로 표현
부울대수의 변수는 0또는 1의 값을 갖는다. 부울 함수는 AND, OR, NOT연산자와 (, +로 정의되며 연산 결과는 언제나 1. 또는 0으로 표현된다.
결과는 수학적인 값 1 또는 0 아니라 명제의 참(1)과 거짓(0), 신호의 유(1) 또는 무(0), 스위치의 ON(1) 또는 OFF(0) 상태를 의미한다.
?
◈ 부울대수의 함수
AND연산자는xy또는x · y로 표시하며 `x and y`로 읽는다.
수식 xy의 결과는 입력 값이 모두 1일 때 결과는 1이 된다.
OR연산자는 x+ y로 표시하며 `x Or y` 로 읽는다, 수식 x+ y의 결과는 입력값이 모두 0 일 때 결과는 0이 된다.
NOT연산자는 又또는 x ` 로 표시하며 `NOT x ` 로 읽는다.
연산자의 연산 우선순위는 NoT, AND, ○R 순서가 된다. 따라서 함수 F는 먼저 나타내고 y와 Z의 AND 연산을 수행한다. 이어서 AND 연산 결 과와 x의 OR 연산이 이루어지게 된다.
♣ 기본 논리 회로
주어진 입력 변수의 값에 대하여 정해진 논리함수를 수행하는 회로부울 대수의 기본 연산자인 AND, OR, NOT 등의 연산을 수행하기 위한 회로로 AND 연산을 수행하는 논리곱(AND) 회로, OR 연산을 수행 하는 논리합(OR) 회로,NOT연산을 수행하는 논리 부정(NOT) 회로…
NAND회로를 이용한 구성 이유
-NAND회로는 다른 어떤 회로보다 저염하게 구성할 수 있다.
?
?
♣ 드 모르간의 정리
- 드모르간은 부울 대수의 중요 부분인 2개의 정리를 제안한 수학자이다.
- 드모르간의 정리는 NOR와 NAND의 상호 관계를 설정하는 데 있어 중요 한데 [AND가 갖는 모든 특성을 OR도 갖는다.]는
것을 증명하고 있다
?
[1] 드모르간의 정리증명
※ 기본 정리를 이용한 부울 대수식의 간략화 예제
X = (A + B) (A + C) + AC?? = AA + AC + BA + BC + AC?? = A A + AC + BA + BC?? = A + AC + BA + BC?? = A + BA + BC?? = A + AB + BC?? = A + BC
[출처] http://blog.naver.com/dlaalswo2000?Redirect=Log&logNo=110036033552
http://blog.naver.com/coolchacha?Redirect=Log&logNo=20041989915