제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장...

35
Chapter 05 Chapter 05 부울 대수 부울 대수

Upload: others

Post on 24-Feb-2020

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

Chapter 05Chapter 05

부울 대수부울 대수

Page 2: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

1 부울대수1. 부울대수부울대수(boolean algebra)를 근거로 한 스위칭 이론(switching theory)은 논리

설계에 있어서 이론적인 근거가 되는 수학적 체계. 설계에 있어서 이론적인 근거가 되는 수학적 체계

부울대수

- 부울상수와 부울변수로 구성, 0과 1의 두 개 값을 가짐

논리레벨의 여러 정의- 논리레벨의 여러 정의

논리 0 False Off Low No Open Switch논리 1 True On High Yes Closed switch

- 부울대수는 논리회로의 입력 및 출력의 상관관계를 표현하는 방법

입력의 논리 레벨에 따라 출력 결정

논리변수 표현 : A, B.. 등과 같이 문자로 표현. 값은 A=0 또는 B=1 등으로 표현논리변수 표현 : A, B.. 등과 같이 문자로 표현. 값은 A 0 또는 B 1 등으로 표현

부울대수의 기본 연산 : 논리동작 (logic operation) OR, AND, NOT

논리 게이트 입력신호에 대해 기본 논리연산(OR AND NOT)을 수행하는 디논리 게이트 : 입력신호에 대해 기본 논리연산(OR, AND, NOT)을 수행하는 디지털 회로는 다이오드, 트랜지스터, 저항 등을 사용하여 구성

- 부울 변수를 전자회로에서 사용할 때 실제적인 전압 레벨

논리 레벨 논리 레벨 로 표시

- 2 - 한국기술교육대학교 정보기술공학부

0~0.8 V 논리 레벨(logic level) 0, 2~ 5V 논리 레벨 1로 표시,0.8~2V undefined 값, 논리레벨의 전이영역(transition region)

Page 3: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

부울대수 정리부울대수 정리

- 단일변수에 관한 정리

- duality 성립 : 0 <-> 1, + <-> ·

- 3 - 한국기술교육대학교 정보기술공학부

Page 4: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

다변수 부울 대수정리교환법칙 (9) x+y = y+x (10) x · y =y · x결합법칙 (11) x+(y+z) (12) x(yz)

( + )+ + + ( )= (x+y)+z = x+y+z = (xy)z = xyz 분배법칙 (13a) x (y + z) (13b) x + yz

= xy + xz = (x + y)(x + z)y ( y)( )Absorption (14a) x + xy = x (14b) x(x+y) = x

(15) x + x'y = x + yConsensus (16a) xy+x'z+yz = xy+x'z (16b) (x+y)(x'+z)(y+z) =(x+y)(x'+z)Consensus (16a) xy+x'z+yz = xy+x'z (16b) (x+y)(x'+z)(y+z) =(x+y)(x'+z)<사용예> 컨센서스 항

(13b) 역 유도 (x+y)(x+z) = xx+xz+xy+yz = x(1+z+y)+yz = x + yz(14a) x + xy = x (1 + y) = x · 1 = x(14b) x(x+y) = xx+xy = x + xy = x(14b) x(x+y) = xx+xy = x + xy = x(15) x+x'y =(x+x')(x+y) = 1 ·(x+y) = x+y (정리 13b)(16a) xy+x'z+yz = xy+x'z+yz(x+x') = xy+x'z+xyz+x'yz

- 4 - 한국기술교육대학교 정보기술공학부

= xy(1+z) + x'z(1+y) = xy + x'z

Page 5: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

드모르강 정리드모르강 정리- DeMorgan's theorems는 변수의 합이나 곱의 형태를 서

로 바꾸며 식을 단순화하게 한다로 바꾸며 식을 단순화하게 한다. (17a) x+y = x y NOR(17b) x y = x + y NAND(17b) x y = x + y NAND

<정리증명>

<사용예> 식 F= 를 단순화하라.F = = (A'+C)' + (B+D')'F = = (A +C) + (B+D )

= (A')' C' + B' (D')' = AC' + B'D- 드 모르강 정리로 간략화할 때 전체반전기호가 없어지면서 + 기호는 . 로,

- 5 - 한국기술교육대학교 정보기술공학부

. 기호는 +로 변경, 단일 변수에 대한 반전만 남을 때까지 계속

Page 6: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

드모르강 논리게이트드모르강 논리게이트

좌변식: 입력변수 x 와 y를 갖는 NOR 게이트의 출력

우변식: 입력변수 x 와 y를 각각 반전한 후 AND의 입력

인버트된 입력을 갖는 AND = NOR 연산

좌변식: 입력 x 와 y 의 NAND 게이트로 구성

우변식: 반전된 두 입력 x 와 y를 OR 게이트 입력

인버트된 입력을 갖는 OR게이트 = NAND 연산

- 6 - 한국기술교육대학교 정보기술공학부

Page 7: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

드모르강의 정리 예제

ZYZXZYXZYXZYX +=+=+=++ )()(

XYZYZWYZXWYZXWYZXW +=+=⋅+=++ )(

FEDCBAFEDCBAFEDCBA ⋅+++=⋅⋅+=+++ )()()(

FEDFECFEBAFEDCBA

FEDCBAFEDCBAFEDCBA

++=⋅++=

+++++++

)(

)()()(

CDABFECDAB

CDABFECDABCDABFECDAB

⋅+⋅+=

++++=++

)(

)()())((

ABCDFDEDFCECAB

ABCDFEDCAB

+++++=

++++=

))((

- 7 - 한국기술교육대학교 정보기술공학부

Page 8: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

부울 함수부울 함수

부울 함수의 표현- 2진수(0, 1), 연산자(OR, AND, NOT), 괄호, 등호 등을 사

용하여 표현.

부울 함수의 간소화- 게이트 수 (term)와 게이트의 입력이 되는 변수(literal)의 수를 줄

이는 것이는 것.

- 간소화 방법

1. 부울 함수로 표현한다.1. 부울 함수로 표현한다.2. 부울 대수의 항등식 규칙 등으로 간소화한다.3. 회로를 구성

- 8 - 한국기술교육대학교 정보기술공학부

Page 9: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

대수적 간소화 방법대수적 간소화 방법항(term) 결합 : 두 개의 항을 결합하여 하나의 항으로 만든다.

항 제거 : 항들을 제거하기 위하여 사용되는 정리.

문자(literal) 제거 : 문자들을 제거하기 위하여 사용되는 정리.( )

함수식의 의미가 변하지 않도록 주의하며 적절한 항들을 함수식에 첨가함수식의 의미가 변하지 않도록 주의하며, 적절한 항들을 함수식에 첨가

- 9 - 한국기술교육대학교 정보기술공학부

Page 10: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

대수적 간소화 방법(계속)대수적 간소화 방법(계속)콘센서스(consensus) 정리- 부울 대수식에 있어서 콘센서스 항을 더해도 부울 대수식은 변하지

않는다.- 부울 표현식을 최소화하는데 유리하다.

consensus 항 xy + xz' + yz = xy(z+z')+xz'+yz = xyz+xyz'+xz'+yz = yz(x+1) + xz'(y+1) = yz + xz'y ( ) (y ) y

(예) F = x'y' + xz + yz' + y'z + xyx'y'와 xz의 컨센선스는 y'zy'z 와 xy 의 컨센선스는 xzy z 와 xy 의 컨센선스는 xz컨센선스 y'z와 xz를 생략하여 간소화한다.

F = x'y' + xy + y'z (예) F = (x+y)(x'+z)(y+z)

= (x+y)(x'+z)consensus 항

- 10 - 한국기술교육대학교 정보기술공학부

Page 11: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

부울 함수의 보수부울 함수의 보수함수의 보수(complement of a function)구하는 방법

1 부울 함수 F 값에서 1은 0으로 0은 1로 바꾸어서 구할 수 있다1. 부울 함수 F 값에서 1은 0으로, 0은 1로 바꾸어서 구할 수 있다.2. 드모르강 정리를 이용하여 AND 연산자는 OR 연산자로, OR 연산

자는 AND 연산자로 서로 바꾸고, 각 변수의 값도 1이면 0으로, 0이면 1로 바꾸어 구할 수 있다.

3. 연산자들의 쌍대를 구한 후 각 변수의 값에 보수를 취하면 된다. 함수의 쌍대는 AND 연산자와 OR 연산자를 상호 교환하고, 1과 0함수의 쌍대는 AND 연산자와 OR 연산자를 상호 교환하고, 1과 0을 바꾸어 구할 수 있다.

의 수함수F = x'y'z + xy'z' + x'z 의 보수함수 F' ?(2) F' = (x+y+z')(x'+y+z)(x+z') (3) F의 쌍대 (x'+y'+z)(x+y'+z')(x'+z)(3) F의 쌍대 (x +y +z)(x+y +z )(x +z)

각 변수를 보수화 F' = (x+y+z')(x'+y+z)(x+z')

- 11 - 한국기술교육대학교 정보기술공학부

Page 12: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

부울 대수를 이용한 논리식의 간소화부울 대수를 이용한 논리식의 간소화

(1)식을 간소화하는 과정

(1)

(2)

xyzzyxzyxyzxzyx ++++

xyzyxyx ++ yzxxyzzyxzyxyzxzyx

yzxxyzzyxzyxyzxzyx

+++++=

+++++

)()()(

(3)

(4)

xzyxyx ++

yzyxyx ++yzyxyx

xxyzzzyxzzyx

⋅+⋅+⋅=

+++++=

111

)()()(

(4)

++++ +++++

yzyxyx ++yzyxyx ++= X+X=X를 이용

xyzzzyxzzyx

xyzzyxzyxyzxzyx

xyzzyxzyxyzxzyx

++++=

++++=

++++

)()(

)()(

yyxzzzyxzzyx

zyxxyzzyxzyxyzxzyx

zyxxyzzyxzyxyzxzyx

+++++=

+++++=

+++++

)()()(

)()()(

xyzyxyx

xyzyxyx

xyzzzyxzzyx

++=

+⋅+⋅=

++++=

11

)()(

xzyxyx

xzyxyx

yyxzzzyxzzyx

++=

⋅+⋅+⋅=

+++++=

111

)()()(

- 12 - 한국기술교육대학교 정보기술공학부

xyzyxyx ++ xzyxyx ++

Page 13: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

(2)식을 간소화하는 과정

(1)

(2)

xyzzyxzyxyzxzyx ++++

xyzyxyx ++

(3)

(4)

yyy

xzyxyx ++

yzyxyx ++

bababaaaaba +=+⋅=++=+ )(1))((abababaabaa =+=+=+ 0)(( ) yyy

xzyxyxzyxyx

zyyyxyxyzyxyxxyzyxyx

++++

+++=++=++

)(1

))(()(

xzyxyxzyxyx ++=+⋅+= )(1

yxzxxxyyxxzxyxyzyxyx +++=++=++ ))(()(

yxyzyxyxzxy ++=++⋅= )(1

- 13 - 한국기술교육대학교 정보기술공학부

Page 14: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

논리식 를 간소화하여라.cbabcacbacba +++

cbabcabbcacbabcacbacba

cbabcacbacba

+++=+++=

+++

)()(

cbabcacbaccbca

cbabccacbabcaca

cbabcabbcacbabcacbacba

++=+++=

++=++=

++++++

)())((

)(

)()(

babacbabaac

bacbacacbabaca

++=++=

++=++=

)()(

)())((

babcac ++=

)()(서로 다른 간소화 결과를 가져올 수 있다.

bcacbacbacba

cbabcacbacba

+++=

+++

bacb

ccbaaacb

+=

+++= )()(

- 14 - 한국기술교육대학교 정보기술공학부

Page 15: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

2 부울함수 표현형식2. 부울함수 표현형식(1) SOP 형식 (곱의 합, Sum of Products ) : standard form

- 예 : (a) a'bc + b'd + a'c예 ( )(b) AB + A'BC' + C'D' + D

2개 이상의 AND 항을 OR 각 입력은 normal 혹은 inverted 형태로 사용각 입력은 normal 혹은 inverted 형태로 사용

(2) POS 형식

(합의 곱, Product of sums) : standard form예 ( ) (A B' C)(A C) cadbbcaf ++=- 예 : (a) (A + B' + C)(A + C)

(b) (A + B)(C' + D)F2개 이상의 OR 항을 AND

cadbbcaf ++=

(3) minterm 또는 standard productn개의 변수는 0 - 2n-1의 값을 갖는 2n개의 minterm을 가짐n개의 변수는 0 2 의 값을 갖는 2 개의 minterm을 가짐

각 minterm은 모든 입력변수(normal/inverted)에 대하여 AND(4) maxterm 또는 standard sum

개의 변수는 0 2n 1의 값을 갖는 2n개의 t 을 가짐

- 15 - 한국기술교육대학교 정보기술공학부

n개의 변수는 0 - 2n-1의 값을 갖는 2n개의 maxterm을 가짐

각 maxterm은 모든 입력변수(normal/inverted)에 대하여 OR

Page 16: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

2변수 최소항과 최대항 표현 방법2변수 최소항과 최대항 표현 방법

- minterm : n개 입력변수의 AND term

개 입력변수의- maxterm : n개 입력변수의 OR term

b 최소항 기호 최대항 기호a b 최소항 기호

0 0 m0

0 1 m1

baba

a b 최대항 기호

0 00 1

ba +ba +

0M

1M1

1 0 m2

1 1 m3

bababa

0 11 01 1

ba +ba +ba +

1M

2M

3M

- 16 - 한국기술교육대학교 정보기술공학부

Page 17: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

3변수에 대한 minterm과 maxterm3변수에 대한 minterm과 maxterm

변 수 최 소 항 최 대 항 함 수

x y z 항 표시 항 표시 F1 F2x y z 항 표시 항 표시 F1 F2

0 0 0

0 0 1

x y z

x y z

m0

m1

x + y + z

x + y + z

M0

M1

1

0

0

1

0 1 0

0 1 1

1 0 0

x y z

x y z

1

m2

m3

x + y + z

x + y + z

1

M2

M3

M

0

1

0

0

0

01 0 0

1 0 1

1 1 0

x y z

x y z

x y z

m4

m5

m6

x + y + z

x + y + z

x + y + z

M4

M5

M6

0

0

1

0

0

1

- minterm과 maxterm의 관계

1 1 0

1 1 1

x y z

x y z

m6

m7

x + y + z

x + y + z

M6

M7

1

0

1

1

te 과 a te 의 관계

mj = Mj m3 = xyz = x+y+z = M3

- 17 - 한국기술교육대학교 정보기술공학부

Page 18: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

3변수 최소항을 이용한 부울함수 표현

zyxzyxzyxmzyxf

xyzzyxyzxzyxzyxmzyxf

++===

++++==

∑∑

)642()(

)7,5,3,1,0(),,(x y z f1 f2

0 0 0 1 0

1

zyxzyxzyxmzyxf ++=== ∑ )6,4,2(),,( 0 0 00 0 10 1 00 1 1

1101

0100

1

= (x+y+z)(x+y+z)(x+y+z)

xyzzyxyzxzyxzyxm

zyxzyxzyxmzyxf

++++==

++==

∑∑

)7,5,3,1,0(

)6,4,2(),,(0 1 11 0 01 0 11 1 0

1010

0110

1

yyyyy∑ ),,,,(01 1 1

01

01

f2(x,y,z) = ?

- 최소항과 최대항과의 관계

최소항은 출력이 1인 항을 Product(AND)로 나타낸 것이고최소항은 출력이 1인 항을 Product(AND)로 나타낸 것이고,최대항은 출력이 0인 항을 Sum(OR)로 나타낸 것이다.

최소항과 최대항은 반대의 성질을 가진다.

- 18 - 한국기술교육대학교 정보기술공학부

Page 19: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

4변수 최소항

a b c d 최소항 기호 a b c d 최소항 기호

0 0 0 0 1 0 0 00m 8mdcba dcba0 0 0 1 1 0 0 10 0 1 0 1 0 1 0

0

1m

2m

8

9m

10m

dcbadcbadcba

dcbadcbadcba

0 0 1 1 1 0 1 10 1 0 0 1 1 0 00 1 0 1 1 1 0 1

3m

4m

5m

11m

12mm

dcbadcbadb

dcbadcbadb0 1 0 1 1 1 0 1

0 1 1 0 1 1 1 00 1 1 1 1 1 1 1

5m

6m

7m

13m

14m15m

dcbadcbadcba

dcbadcbadcba

[Example]

dbf ∑ )15119510()(

abcdcdbadcbadcbadcbadcba

mdcbaf

+++++=

=∑

)15,11,9,5,1,0(),,,(

- 19 - 한국기술교육대학교 정보기술공학부

Page 20: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

4변수 최대항

a b c d 최대항 기호 a b c d 최대항 기호

0 0 0 0 1 0 0 00M 8Mdcba +++dcba +++

4변수 최대항

0 0 0 1 1 0 0 10 0 1 0 1 0 1 0

0

1M

2M

8

9M

10Mdcba +++

dcba +++

dcba +++

dcba +++

dcba +++

dcba +++

0 0 1 1 1 0 1 10 1 0 0 1 1 0 00 1 0 1 1 1 0 1

3M

4MM

11M

12M

13Mdb

dcba +++

dcba +++

db

dcba +++

dcba +++

0 1 0 1 1 1 0 10 1 1 0 1 1 1 00 1 1 1 1 1 1 1

5M

6M

7m

13M

14M

15Mdcba +++dcba +++

dcba +++

dcba +++dcba +++dcba +++

7

- 20 - 한국기술교육대학교 정보기술공학부

Page 21: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

(5) Canonical form(5) Canonical form부울함수를 SOM(sum of minterms) 혹은 POM( product of maxterms)으로 표현

(a) sum of minterms f1 = x'y' + xy' = m0 + m2 2변수

f2 = x'y'z + xyz' + xyz = m + m + m 3변수f2 = x y z + xyz + xyz = m1 + m6 + m7 3변수

f3 = a'b'cd + a'bc'd + ab'cd' + abcd' = m3 + m5 + m10 + m14 4변수

f1(x,y) = ∑m(0, 2)f2(x,y,z) =∑m(1, 6, 7) f3(a,b,c,d) =∑m(3, 5, 10, 14)

(b) product of maxterms(b) product of maxtermsf1 = (x+y+z)(x+y'+z)(x'+y'+z) = M0M2M6f2 = (a+b+c+d')(a+b'+c+d) (a'+b+c+d') (a'+b'+c+d)

= M1M4M9M12f1(x,y,z) = ∏M(0, 2, 6)f2(a b c d) = ∏M(1 4 9 12)

- 21 - 한국기술교육대학교 정보기술공학부

f2(a,b,c,d) ∏M(1,4 , 9, 12)

Page 22: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

[Example]

++=+++= ))()((),(

210 MMMbabababaf

[Example]

∏=

++

)2 1, 0,( 210

MMMM

입력 출력

a b f0 0 00 1 01 0 01 0 01 1 1

- 22 - 한국기술교육대학교 정보기술공학부

Page 23: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

다음 최대항 식에 대한 진리표로 만들고, 논리식을 구하라.

∏= )7 5, 3, 1, 0,(),,( Mzyxf

x y z f 최대항 기호

0 0 0 0 0Mzyx ++0 0 1 00 1 0 10 1 1 0 zyx ++

zyx ++

zyx ++ 1M

2MM0 1 1 0

1 0 0 11 0 1 0 zyx ++

zyx ++

zyx ++ 3M4M

5M1 1 0 11 1 1 0 zyx ++

zyx ++

y 5

6M

7M

))()()()((

)7 5, 3, 1, 0,(),,(

zyxzyxzyxzyxzyx

Mzyxf

++++++++++=

= ∏

- 23 - 한국기술교육대학교 정보기술공학부

))()()()(( zyxzyxzyxzyxzyx ++++++++++=

Page 24: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

(6) Canonical form의 상호 변환(6) Canonical form의 상호 변환f1 = x'y'z+xyz'+xyz = m1+m6+m7 정규함수는 1인 항의 합

f1'= x'y'z'+ x'yz'+ x'yz+ xy'z'+ xy'z 보수함수는 0인 항의 합

f1 = (f1')' = ( x'y'z'+ x'yz'+ x'yz+ xy'z'+ xy'z)'= (x+y+z)(x+y'+z)(x+y'+z')(x'+y+z)(x'+y+z')= (x+y+z)(x+y +z)(x+y +z )(x +y+z)(x +y+z )= M0M2M3M4M5

x y z f1 f2

f2 = m0 + m2 + m5 + m6

= M1M3M4M7

0 0 0

0 0 1

0 1 0

0

1

0

1

0

10 1 0

0 1 1

1 0 0

0

0

0

1

0

0

정규함수와 보수함수는SOM과 POM에서 각 최소항과 최대항의 index가

1 0 1

1 1 0

0

1

1

1

항과 최대항의 de 가서로 중복되지 않는다.

- 24 - 한국기술교육대학교 정보기술공학부

1 1 1 1 0

Page 25: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

∑⋅⋅⋅⋅=++++=

++++== )5 4, 3, 2, 1,(),,(

cbacbabcacbacbacbacbabcacbacba

cbacbabcacbacbamcbaf

∏=++++++++++=

++++

)54321(

))()()()((

M

cbacbacbacbacba

cbacbabcacbacbacbacbabcacbacba

최소항을 부정하면최대항

∑∏∏∑

==

==

)760()760(

)5 4, 3, 2, 1,( )5 4, 3, 2, 1,(),,(

mM

Mmcbaf

∏= )54,3,2,1,( M

최대항

최대항을 부정하면최소항

∑∏ == )7,6,0()7,6,0( mM

∑ ++== )7 6, 0,(),,( abccabcbamcbaf

∏=++++++=⋅⋅=++=

)76,0,(

))()((

M

cbacbacbaabccabcbaabccabcba

∏ )76,0,( M

∑∏∏∑ == )7 6, 0,( )7 6, 0,(),,( Mmcbaf⇒

- 25 - 한국기술교육대학교 정보기술공학부

∑∏ == )54,,3,2 ,1()54,,3,2,1( mM

Page 26: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

(7) Standard form과 canonical form의 변환(7) Standard form과 canonical form의 변환

f1 = x + y'z 의 POM ?= (x+y')(x+z) = (x+y'+zz')(x+z+yy')= (x+y'+z)(x+y'+z')(x+y+z)(x+y'+z)= (x+y'+z)(x+y'+z')(x+y+z) = M0M2M3

f1 = x+y'z 의 SOM ?y= x(y+y')(z+z') + (x+x')y'z missing 변수 추가

= xyz + xyz' + xy'z + xy'z' + xy'z + x'y'z y y y y y y= m7+m6+m5+m4+m1

f2 = (a + c')(a + b') = aa+ ab'+ ac' + c'b'f2 (a + c )(a + b ) aa+ ab + ac + c b= a(b+b')(c+c') + ab'(c+c') + ac'(b+b') + c'b'(a+a')= a(bc+bc'+b'c+b'c')+ab'c+ab'c'+

- 26 - 한국기술교육대학교 정보기술공학부

= a(bc+bc +b c+b c )+ab c+ab c + ...= abc+abc'+ab'c+ab'c'+a'b'c'

Page 27: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

간소화 과정 예 : canonical form standard form

xyzzyxyzxzyxzyxmzyxf

++++=

∑=

)7 5, 3, 1, 0,(),,(

xzzxyxyyxzyyzxzzyx

++=

+++++=

)()()(

zyxxxzyx

+=

++=

)(

mmzyxf == ∑∑ )6 4, 2,()7 5, 3, 1, 0,(),,(

yyzxxxzy

zxyzyxzyx

+++=

++=

∑∑

)()(

zxzy

yyy

+=

)()(

- 27 - 한국기술교육대학교 정보기술공학부

Page 28: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

예제 다음 진리표로 부터 논리식을 구하고 간소화하여라.

a b c f 0 0 0 0 1

f

cbacbabcacbacba

mcbaf

++++=

=∑ )5 4, 3, 2, 1,(),,(0 0 0 0 10 0 1 1 00 1 0 1 0

ccbaccbacbaa

cbacbabcacbacbacba

cbacbabcacbacba

+++++

+++++=

++++=

)()()(

0 1 1 1 01 0 0 1 01 0 1 1 0

babacb

ccbaccbacbaa

++=

+++++=

)()()(

1 0 1 1 01 1 0 0 11 1 1 0 1 abccabcba

mcbaf

++

=∑ )7 6, 0,(),,(

abcba

ccabcba

abccabcba

+=

++=

++=

)(

abcba +=

- 28 - 한국기술교육대학교 정보기술공학부

Page 29: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

3 논리회로의 논리식 변환3. 논리회로의 논리식 변환원래의 회로에 게이트를 거칠 때마다 게이트의 출력을 적어주면서 한 단계씩 출력 쪽으로 나아가면 된다.

논리회로 논리식 유도 과정

- 29 - 한국기술교육대학교 정보기술공학부

Page 30: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

논리식 유도 예1

abc

abc

bd

fbdabc+bd+ac

ac

ac

논리식 유도 예2

- 30 - 한국기술교육대학교 정보기술공학부

Page 31: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

논리식 유도 예3

- 31 - 한국기술교육대학교 정보기술공학부

Page 32: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

4 논리식의 회로 구성4. 논리식의 회로 구성

AND, OR, NOT을 이용하여 논리식으로부터 회로를 구성.(AND-OR로 혹은OR AND로 구성된 2단 회로)OR-AND로 구성된 2단 회로)

yzyxyx ++

보수 입력 사용 NOT 게이트 사용

- 32 - 한국기술교육대학교 정보기술공학부

Page 33: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

회로 예

AND-OR

xyzzyxzyxyzxzyxzyxf ++++=),,(

OR- AND

))(( zyxyxf +++=

- 33 - 한국기술교육대학교 정보기술공학부

Page 34: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

회로 예

다단계 논리회로다단계 논리회로

)( wxzvyxwzf +++=

- 34 - 한국기술교육대학교 정보기술공학부

Page 35: 제05장.ppt [호환 모드]cms3.koreatech.ac.kr/sites/yjjang/down/digi09/ch05.pdf제5장 부울함수의보수 함수의보수(complement of a function)구하는방법 1. 부울부울

제5장

논리회로의 간소화논리회로의 간소화

논리식의 간소화Z = ABC + AB' (A'C')'

= ABC + AB'(A+C) = ABC+AB'+AB'C= AB'(1+C)+ABC = AB'+ ABC = A(B'+BC)= AB (1+C)+ABC = AB + ABC = A(B +BC)= A(B'+B)(B'+C) = A(B'+C) = AB' + AC

- 35 - 한국기술교육대학교 정보기술공학부