Chapter 05.

불 대수
학습목표 및 목차

• 기본 논리식의 표현 방법을 이해할 수 있다 .

• 불 대수의 법칙을 이해하고 복잡한 논리식을 간소화할 수 있다 .
• 논리회로를 논리식으로 , 논리식을 논리회로로 표현할 수 있다 .
• 곱 의 합 (SOP) 과 최 소 항 (minterm) 및 합 의 곱 (POS) 과 최 대 항
(maxterm) 의 개념을 이해하고 이를 활용할 수 있다 .

01. 기본 논리식의 표현
02. 불 대수 법칙
03. 논리회로의 논리식 변환
04. 논리식의 회로 구성
05. 불 대수식의 표현 형태
06. 불 대수 법칙을 이용한 논리식의 간소화
01 기본 논리식의 표현

 기본적인 불 대수식은 AND, OR, NOT 을 이용하여 표현

 AND 식은 곱셈의 형식으로 표현하고 , OR 식은 덧셈의 형식으로 표현
 NOT 식은 또는 Aˊ 로 표현
 완전한 논리식은 입력 항목들의 상태에 따른 출력을 결정하는 식

A=0 and B=1 일 때 출력을 1 로 만들려는 경우

F  AB
출력 논리식

A=0 or B=1 일 때 출력을 1 로 만들려는 경우

F  A B
출력 논리식

(A=0 and B=1) or (A=1 and B=0) 일 때

F  AB  AB
출력을 1 로 만들려는 경우 출력 논리식
01 기본 논리식의 표현

 1 입력 논리식 , 2 입력 논리식 , 3 입력 논리식

1 입력 논리식 2 입력 논리식 3 입력 논리식

입력 출력 입력 출력 입력 출력
A F A B F A B C F
0 FA 0 0 F  AB 0 0 0 F  ABC
1 FA 0 1 F  AB 0 0 1 F  ABC
1 0 F  AB 0 1 0 F  ABC
1 1 F  AB 0 1 1 F  ABC
1 0 0 F  ABC
1 0 1 F  ABC
1 1 0 F  ABC
1 1 1 F  ABC
01 기본 논리식의 표현

 2 입력 논리식 예
입력 출력
A=0 또는 B=0 일 때 ,
A B F 1 을 출력하는 논리식
0 0 1 F  A B
0 1 1
1 0 1
1 1 0 A=1 이거나 (B=0 이고 C=1) 일 때 ,
1 을 출력하는 논리식
 3 입력 논리식 예
F  A B C
입력 출력
A B C A=1 B C BC A BC
0 0 0 1 0
0 0 1 1 1 1 1
0 1 0 0
0 1 1 1 0
1 0 0 1 1 1
1 0 1 1 1 1 1 1
1 1 0 1 1
1 1 1 1 1 1
02 불 대수 법칙

 불 대수 공리 (Boolean Algebra Axioms)

P1 A = 0 or A = 1
P2 0∙0=0
P3 1∙1=1
P4 0+0=0
P5 1+1=1
P6 1∙0=0∙1=0
P7 1+0=0+1=1
02 불 대수 법칙
 불 대수 법칙
기본법
칙
1. A+0=0+A=A 2. A·1=1·A=A 3. A+1=1+A=1
4. A·0=0·A=0 5. A+A=A 6. A·A=A
7. 8.A  A  0 9.
A A 1 A A

교환법칙 (commutative
law)
10. A+B=B+A 11. AB=BA

결합법칙 (associate
law)
12. (A + B) + C = A + (B + C) 13. (AB) C = A (BC)

분배법칙 (distributive
law)
14. A (B + C) = AB + AC 15. A + BC = (A+B)(A+C)
02 불 대수 법칙
드모르간의 정리 (De Morgan's theo-
rem)
16. A  B  A B 17. AB  A  B

흡수 법칙 (absorptive
law)
18. A + AB = A 19. A(A+B) = A

합의의 정리 (consensus theo-

rem)
20. 21.
AB  BC  AC  AB  AC ( A  B)( B  C )( A  C )  ( A  B)( A  C )

쌍대성 (duality) : 불 대수 공리나 기본 법칙에서 좌우 한 쌍에서 0 과 1 을 서로 바꾸고

동시에 ‘•’과 ‘ +’ 를 서로 바꾸면 다른 한 쪽이 얻어지는 성질
02 불 대수 법칙

 진리표를 이용한 분배 법칙 A+BC=(A+B)(A+C) 의 증명

좌측식 우측식
A B C
B·C A+B·C A+B A+C (A+B)(A+C)
0 0 0 0 0 0 0 0
0 0 1 0 0 0 1 0
0 1 0 0 0 1 0 0
0 1 1 1 1 1 1 1
1 0 0 0 1 1 1 1
1 0 1 0 1 1 1 1
1 1 0 0 1 1 1 1
1 1 1 1 1 1 1 1

동일한 결과
02 불 대수 법칙

 진리표를 이용한 드모르간의 정리 증명

좌측식 우측식
A B A+B A B
A B A B
0 0 0 1 1 1 1
0 1 1 0 1 0 0
1 0 1 0 0 1 0
1 1 1 0 0 0 0

동일한 결과
02 불 대수 법칙

 드모르간 정리의 일반식

A  B  C  A  B C
3 항 드모르간 정리
A B C  A  B  C

A  B  C  D  A B C  D
4 항 드모르간 정리
A B C  D  A  B  C  D

A1  A2  A3    An  A1 A2 A3  An
일반식
A1 A2 A3  An  A1  A2  A3    An
02 불 대수 법칙

 드모르간의 정리 예제
 . A  B  C  ( A  B ) C  ( A  B )C  AC  BC

 . A  B  C  D  A  B  C  D  ( A  B)CD  ACD  BCD

 . ( A  B)  C  D  E  F  ( A  B)  C  D  E  F  ( A  B  C  D)  E  F
 (A  B  C  D )  E  F  ABEF  CEF  DEF
 . AB (CD  EF )( AB  CD )  AB  (CD  EF )  ( AB  CD )

 AB  (CD EF )  ABCD
 AB  (C  D)( E  F )  ABCD
 AB  CE  CF  DE  DF  ABCD
03 논리회로의 논리식 변환

 원래의 회로에 게이트를 거칠 때마다 게이트의 출력을 적어주면서 한 단계씩

출력 쪽으로 나아가면 된다 .

논리회로 논리식 유도 과정

C C C+D
D D (C+D)AB
A A
B F AB F=(C+D)AB+BC
B
B B
C C BC
03 논리회로의 논리식 변환

A A ABC
B B
C C

예 1 B F B BD F=ABC+BD+AC
D D
A A AC
C C

A
A A+B+C
B B
C C

예 2 B B F=(A+B+C)(B+D)(A+C)
F
D D
B+D
A A
C C A+C
04 논리식의 회로 구성

 AND, OR, NOT 을 이용하여 논리식으로부터 회로를 구성

(AND-OR 로 구성된 회로 )

AB  AB  BC

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

A AB A A AB
B B
A AB AB
B F=AB+AB+BC F=AB+AB+BC
B
B BC BC
C C
04 논리식의 회로 구성

 논리식의 2 가지 기본 형태
A
B
C
A
B
C
A
AND-OR B F ( A, B, C )  ABC  ABC  ABC  ABC  ABC
C
A
B
C
A
B
C

A
B
OR-AND F  ( A  B )( A  B  C )
A
B
C
04 논리식의 회로 구성

C CE
E
CE+B
B (CE+B)A
다단계 A
논리회로
BCD F  E  BCD  (CE  B ) A
D
05 불 대수식의 표현 형태

1. 곱의 합과 최소항
 곱의 합 (Sum of Product, SOP)
• SOP 의 구성은 1 단계는 AND 항 ( 곱의 항 , product term) 으로 구성되고 , 2 단계는
OR 항 ( 합의 항 , sum term) 으로 만들어진 논리식

A
B
C
B
D F  ABC  BD  AC

A
C
05 불 대수식의 표현 형태

 최소항 (Minterm)
 최소항 : 표준 곱의 항
 표준 곱의 항이란 함수에 모든 변수를 포함하고 있음
 예 : 4 변수 A, B, C, D 일 때 :

ABC D
최소항의 예
ABCD

F  ABCD  ABCD  ABCD  ABCD minterm

F  B  AC  ABCD
곱의 합
(SOP) 의 예 F  A BC non minterm
F  AC
05 불 대수식의 표현 형태

 진리표로부터 최소항식을 표현하는 방법

입력 출력
A B F
0 0 0
0 1 1
1 0 1
1 1 1

(A=0 AND B=1) OR (A=1 AND B=0) OR (A=1 AND B=1) 일 때 , F = 1 이다 .

또는
( A  1 AND B=1) OR (A=1 AND B  1 ) OR (A=1 AND B=1) 일 때 , F = 1 이다 .
또는
AB  1 OR AB  1 OR AB  1 일 때 , F = 1 이다 .

f  AB  AB  AB
05 불 대수식의 표현 형태

 2 변수 최소항의 표현 방법
A B 최소항 기호
0 0 AB m0
0 1 AB m1
1 0 AB m2
1 1 AB m3

입력 출력
A B F
0 0 0 m0
0 1 1 m1
1 0 1 m2 F ( A, B )  AB  AB  AB
1 1 1 m3  m1  m2  m3
  m(1, 2, 3)
05 불 대수식의 표현 형태

 3 변수 최소항의 표현 방법

A B C 최소항 기호
0 0 0 ABC m0
0 0 1 ABC m1
0 1 0 ABC m2
0 1 1 ABC m3
1 0 0 ABC m4
1 0 1 ABC m5
1 1 0 ABC m6
1 1 1 ABC m7
05 불 대수식의 표현 형태

 3 변수 최소항의 표현 예
ABC F 최소항 기호 F ( A, B, C )   m(0,1,3,5, 7)

000 1 m0  ABC  ABC  ABC  ABC  ABC

ABC
001 1 ABC m1
F ( A, B, C )   m(2, 4, 6)
010 0 ABC m2  ABC  ABC  ABC
011 1 ABC m3
100 0 ABC m4
101 1 ABC m5
110 0 ABC m6
111 1 ABC m7

F ( A, B, C )   m(0,1,3,5, 7)  ABC  ABC  ABC  ABC  ABC

 F   m(2, 4, 6)  ABC  ABC  ABC

F ( A, B, C )   m(2, 4, 6)  ABC  ABC  ABC

  m(0,1,3,5, 7)  ABC  ABC  ABC  ABC  ABC
05 불 대수식의 표현 형태

 4 변수 최소항의 표현 방법
ABCD 최소항 기호 ABCD 최소항 기호
0000 ABC D m0 1000 ABC D m8
0001 ABC D m1 1001 ABC D m9
0010 ABC D m2 1010 ABC D m10
0011 ABC D m3 1011 ABC D m11
0100 ABC D m4 1100 ABC D m12
0101 ABC D m5 1101 ABC D m13
0110 ABC D m6 1110 ABC D m14
0111 ABC D m7 1111 ABC D m15

[Example] F ( A, B, C , D)   m(0,1,5,9,11,15)
F  ABCD  ABCD  ABCD  ABCD  ABCD  ABCD
05 불 대수식의 표현 형태

2. 합의 곱과 최대항
 합의 곱 구성 : 1 단계는 OR 항 ( 합의 항 , sum term) 으로 구성되고 , 2 단계는
AND 항 ( 곱의 항 , product term) 으로 만들어진 논리식 .
 모든 변수를 포함하는 OR 항을 맥스텀 (maxterm) 또는 최대항이라 한다 .
 예 : 4 변수 A, B, C, D 일 때 :

A B C  D
최대항의 예
A B C  D

( A  B  C  D )( A  B  C  D ) maxterm
( A  B )( A  C )
합의 곱 A( A  C )
(POS) 의 예 non maxterm
A
A B
05 불 대수식의 표현 형태

 최대항 표형 방법

AB 최대항 기호 ABC 최대항 기호

00 A B M0 000 A B C M0
01 A B M1 001 A B C M1
10 A B M2 010 A B  C M2
11 A B M3 011 A B C M3
100 A B C M4
<2 변수인 경우 >
101 A B C M5
110 A B  C M6
111 A B C M7
<3 변수인 경우 >
05 불 대수식의 표현 형태

ABCD 최대항 기호 A B C D 최대항 기호

0000 A B C  D M0 1000 A B  C  D M8
0001 A B C  D M1 1001 A B  C  D M9
0010 A B C  D M2 1010 A B  C  D M 10
0011 A B C  D M3 1011 A B  C  D M 11
0100 ABC D M4 1100 ABC  D M 12
0101 A B C  D M5 1101 A B  C  D M 13
0110 A B C  D M6 1110 A B  C  D M 14
0111 A B C  D M7 1111 A B  C  D M 15

<4 변수인 경우 >

05 불 대수식의 표현 형태

[Example]

F ( A, B )  ( A  B )( A  B )( A  B ) 입력 출력
 M 0  M1  M 2 A B F
  M (0,1, 2) 0 0 0
0 1 0
1 0 0
1 1 1
05 불 대수식의 표현 형태

3. 최소항과 최대항의 관계
 최소항은 출력이 1 인 항을 SOP 로 나타낸 것이고 , 최대항은 출력이 0 인 항을
POS 로 나타낸 것이다 .
 최소항과 최대항은 상호 보수의 성질을 가진다 .

ABC F 최소항 기호 최대항 기호 관계

000 0 1 ABC m0 A BC M0 M 0  m0
001 1 0 ABC m1 A BC M1 M1  m1
010 1 0 ABC m2 A B C M2 M 2  m2
011 1 0 ABC m3 A B C M3 M 3  m3
100 1 0 ABC m4 A BC M4 M 4  m4
101 1 0 ABC m5 A BC M5 M 5  m5
110 0 1 ABC m6 A B C M6 M 6  m6
111 0 1 ABC m7 A B C M7 M 7  m7
05 불 대수식의 표현 형태

F ( A, B, C )   m(1, 2, 3, 4, 5)
 ABC  ABC  ABC  ABC  ABC

 ABC  ABC  ABC  ABC  ABC

 ABC  ABC  ABC  ABC  ABC

 ( A  B  C )( A  B  C )( A  B  C )( A  B  C )( A  B  C )
  M (1, 2, 3, 4, 5)
최소항을 부정하면
F ( A, B, C )   m(1, 2,3, 4,5) 최대항

  M (1, 2,3, 4,5) 최대항을 부정하면

최소항
  M (0,6,7)
  m(0,6,7)
05 불 대수식의 표현 형태

F ( A, B, C )   m(0,6,7)
 ABC  ABC  ABC

 ABC  ABC  ABC

 ABC  ABC  ABC

 ( A  B  C )( A  B  C )( A  B  C )
  M (0,6,7)

F ( A, B, C )   m(0, 6, 7)   M (0, 6, 7)   M (1, 2,3, 4,5)   m(1, 2,3, 4,5)

06 불 대수 법칙을 이용한 논리식의 간소화

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

2) AB  AB  ABC

3) AB  AB  AC

4) AB  AB  BC

ABC  ABC  ABC  ABC  ABC  ( ABC  ABC )  ( ABC  ABC )  ABC
 AB (C  C )  AB (C  C )  ABC
 AB  1  AB  1  ABC
 AB  AB  ABC
06 불 대수 법칙을 이용한 논리식의 간소화

 (1) 식을 간소화하는 과정
동일한 항 추가
ABC  ABC  ABC  ABC  ABC  ABC
X+X=X 를 이용
 ( ABC  ABC )  ( ABC  ABC )  ( ABC  ABC )
 AB(C  C )  AB (C  C )  AC ( B  B )
 AB  1  AB  1  AC  1
 AB  AB  AC

동일한 항 추가
ABC  ABC  ABC  ABC  ABC  ABC X+X=X 를 이용
 ( ABC  ABC )  ( ABC  ABC )  ( ABC  ABC )
 AB(C  C )  AB (C  C )  BC ( A  A)
 AB  1  AB  1  BC  1
 AB  AB  BC
06 불 대수 법칙을 이용한 논리식의 간소화

 (2) 식을 간소화하는 과정
1) ABC  ABC  ABC  ABC  ABC

2) AB  AB  ABC

3) AB  AB  AC
A( A  B)  AA  AB  0  AB  AB
4) AB  AB  BC A  AB  ( A  A)( A  B )  1  ( A  B )  A  B

AB  AB  ABC  AB  A( B  BC )  AB  A( B  B )( B  C )
 AB  A  1  ( B  C )  AB  AB  AC

AB  AB  ABC  B ( A  AC )  AB  B ( A  A)( A  C )  AB
 B  1  ( A  C )  AB  AB  AB  BC
06 불 대수 법칙을 이용한 논리식의 간소화

 간소화하는 과정 예

F ( A, B, C )   m(0,1,3,5, 7)
 ABC  ABC  ABC  ABC  ABC
 AB (C  C )  AC ( B  B )  AC ( B  B )
 AB  AC  AC
 AB  C ( A  A)
 AB  C
F ( A, B, C )   m(0,1,3,5, 7)   m(2, 4, 6)
 ABC  ABC  ABC
 BC ( A  A)  AC ( B  B )
 BC  AC  ( A  B )C
06 불 대수 법칙을 이용한 논리식의 간소화

 2 변수로 나타낼 수 있는 모든 경우
A B F0 F1 F2 F3 F4 F5 F6 F7 F8 F9 F10 F11 F12 F13 F14 F15
0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

 2 변수로 나타낼 수 있는 모든 경우의 논리식

F0  0 F1  AB F2  AB F3  A
F4  AB F5  B F6  AB  AB F7  A  B
F8  AB F9  AB  AB F10  B F11  A  B
F12  A F13  A  B F14  A  B F15  1

n
• n 개의 입력 변수가 있을 때 진리표의 행의 개수는 2n 개이며 , 22 개의 서로 다른
함수가 존재2 3 4
n=2 2 2  16 n=3 2 2  28  256 n=4 2 2  216  65536
06 불 대수 법칙을 이용한 논리식의 간소화

A B F0 F1 F2 F3 F4 F5 F6 F7 F8 F9 F10 F11 F12 F13 F14 F15

0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

F3  AB  AB  A( B  B )  A

F5  AB  AB  ( A  A) B  B

F7  AB  AB  AB  ( A  A) B  A( B  B )  A  B

F10  AB  AB  ( A  A) B  B

F11  AB  AB  AB  ( A  A) B  A( B  B )  A  B

F12  AB  AB  A( B  B ) B  A

F13  AB  AB  AB  A( B  B )  ( A  A) B  A  B

F14  AB  AB  AB  A( B  B )  ( A  A) B  A  B
감사합니다 