WONKWANG UNIVERSITY

Dept. of Computer · Software

Engineering

6-1장 부울 대수

컴퓨터∙소프트웨어공학과

이 완 범

WONKWANG UNIVERSITY
Dept. of Computer · Software Engineering
 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로 만들려는 경우 출력 논리식

WONKWANG UNIVERSITY Dept. of Computer · Software Engineering

 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

WONKWANG UNIVERSITY Dept. of Computer · Software Engineering

 01 기본 논리식의 표현
 2입력 논리식 예 A=0 또는 B=0일 때,
입력 출력 1을 출력하는 논리식
A B F F  A B
0 0 1
0 1 1  AB  AB  AB
1 0 1  AB
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 또는 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

WONKWANG UNIVERSITY Dept. of Computer · Software Engineering

 02 불 대수 법칙

불 대수의 기본 법칙
기본법칙
① A+0=0+A=A ② A·1=1·A=A ③ A+1=1+A=1
④ A·0=0·A=0 ⑤ A+A=A ⑥ A·A=A
⑦ A A 1 ⑧ A A  0 ⑨A A

교환법칙(commutative law)
⑩ A+B=B+A ⑪ AB=BA

결합법칙(associate law)
⑫ (A + B) + C = A + (B + C) ⑬ (AB) C = A (BC)

분배법칙(distributive law)
⑭ A (B + C) = AB + AC ⑮ A + BC = (A+B)(A+C)

WONKWANG UNIVERSITY Dept. of Computer · Software Engineering

 02 불 대수 법칙

드모르간의 정리(De Morgan's theorem)

⑯ A B  AB ⑰ AB  A  B

흡수 법칙(absorptive law)
⑱ A + AB = A ⑲ A(A+B) = A

합의의 정리(consensus theorem)

⑳ AB  BC  AC  AB  AC 21 ( A  B )( B  C )( A  C )  ( A  B )( A  C )

WONKWANG UNIVERSITY Dept. of Computer · Software Engineering

 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

동일한 결과

WONKWANG UNIVERSITY Dept. of Computer · Software Engineering

 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

동일한 결과

WONKWANG UNIVERSITY Dept. of Computer · Software Engineering

 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

WONKWANG UNIVERSITY Dept. of Computer · Software Engineering

 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

WONKWANG UNIVERSITY Dept. of Computer · Software Engineering

 02 불 대수 법칙

예제 1 다음 논리식을 불 대수의 기본 법칙과 진리표를 이용하여 증명하여라.

AB  BC  AC  AB  AC ( A  B)( B  C )( A  C )  ( A  B)( A  C )

풀이 • 불 대수의 기본법칙을 이용한 증명

분배 법칙
AB  BC  AC  AB  ( A  A) BC  AC  AB  ABC  ABC  AC
 A( B 1  BC )  AA(CC BC)  AB
1ItBC AB AC(1 H
(1 I C )  AC B)B
씸
三 B
AB  AC Y
( A  B)( B  C )( A  C )  ( A  B)( AA  B  C )( A  C )
 ( A  B  0)( A  B  B
C )( A A
 Bo cC )( A  0  C )
嚴
후 燕慶
( A  B  0  C )( A  0  B  C )
 ( A  B)( A  C )

WONKWANG UNIVERSITY Dept. of Computer · Software Engineering

 02 불 대수 법칙

• 진리표를 이용한 증명 AB  BC  AC  AB  AC
입력 좌측식 우측식
A B C AB BC AC AB  BC  AC AB AC AB  AC
0 0 0 0 0 0 0 0 0 0
0 0 1 0 0 1 1 0 1 1
0 1 0 0 0 0 0 0 0
0 1 1 0 1 1 0 1 1
1 0 0 0 0 0 0 0 0 0
1 0 1 0 0 0 0 0 0
1 1 0 1 0 0 1 1 0
1 1 1 1 1 0 1 1 0 1

동일한 결과

WONKWANG UNIVERSITY Dept. of Computer · Software Engineering

 02 불 대수 법칙

• 진리표를 이용한 증명 ( A  B)( B  C )( A  C )  ( A  B)( A  C )

입력 좌측식 우측식
A B C A+ B B+C A  C ( A  B)(B  C)( A  C) A+ B A  C ( A  B)( A  C)
0 0 0 0 0 1 0 0 1 0
0 0 1 0 1 1 0 1
0 1 0 1 1 1 i Y
0 1 1 1 1 1 1 i 1
1 0 0 1 0 0 0 1 0
1 0 1 1 1 1 1 1 1 i
1 1 0 1 1 0 1 0
1 1 1 1 1 1 i 1 1 i

동일한 결과

WONKWANG UNIVERSITY Dept. of Computer · Software Engineering

 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

WONKWANG UNIVERSITY Dept. of Computer · Software Engineering

 03 논리회로의 논리식 변환

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

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

WONKWANG UNIVERSITY Dept. of Computer · Software Engineering

 03 논리회로의 논리식 변환

예제 2 다음 논리회로의 논리식을 구하여라.

B 13ᵗʰ
C CBICIA

A F F B C At A B T

E AB C

풀이
입력단에서부터 출력단으로 게이트를 거칠 때마다 논리식을 하나씩 적어 나간다.

BC BCIA

不
B C A A.BE

ㄷ AB E
 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 A
F  ( A  B)( A  B  C )
B
C
 04 논리식의 논리회로 구성

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

곱의 합과 최소항
 곱의 합(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 최소항

F  B  AC  ABCD
곱의
합(SOP)의 예 F  A BC 최소항 아님
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

WONKWANG UNIVERSITY Dept. of Computer · Software Engineering

 05 불 대수식의 표현 형태

3변수 최소항의 표현 예
ABC F 최소항 기호 F ( A, B, C )   m(0,1,3,5, 7)
000 1 ABC m0  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
WONKWANG UNIVERSITY Dept. of Computer · Software Engineering
 05 불 대수식의 표현 형태

예제 3 다음 진리표를 이용하여 F 와 𝐹를 최소항식으로 나타내어라.

ABC F F 풀이
000 0 1
001 1 0 F A BC Em 1.2 3 4 5
mi
010 1m 0 m t M2tM3 t my tmi
011 1 0 F B E T F B E T F BC A BET ABC
100 1 0
101 1 0
mi
110 0 1
m m
111 0 1
 05 불 대수식의 표현 형태

합의 곱과 최대항
• 합의 곱 구성 : 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 ) 최대항
( A  B )( A  C )
합의 A( A  C )
곱(POS)의 예 최대항 아님
A
A B
WONKWANG UNIVERSITY Dept. of Computer · Software Engineering
 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
2변수인 경우 100 A B C M4
101 A B C M5
AB 최소항 최대항 110 A B  C M6
0 O A B At B 111 A B C M7
O 1 FB At 百 3변수인 경우
A'B At B
I 0
AB A 十百

WONKWANG UNIVERSITY Dept. of Computer · Software Engineering

 05 불 대수식의 표현 형태

[Example] F ( A, B )  ( A  B )( A  B )( A  B )
 M 0  M1  M 2
  M (0,1, 2)

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

WONKWANG UNIVERSITY Dept. of Computer · Software Engineering

 05 불 대수식의 표현 형태

다음 최대항식을 진리표로 만들어 보고, 논리식을 구해보아라.

예제 4
F ( A, B, C )   M (0,1,3,5, 7)

풀이
ABC F 최대항 기호
鬱
000
001 O
At Btc
At B TE
no
M
嚴步蠶
010 I
011 昏熙 M3
100
I Ft B C M4
101 0 Ft B t E M5
110 I Ft B C Mo
111 O At Bti m
 05 불 대수식의 표현 형태
최소항과 최대항과의 관계
• 최소항은 출력이 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

WONKWANG UNIVERSITY Dept. of Computer · Software Engineering

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

①식을 간소화하는 과정
ABC  ABC  ABC  ABC  ABC FBCETCHABCEICTABC.FR
① O O O O 呵宖 ABC
② AB  AB  ABC FABTAFTABC
③ AB  AB  AC
④ 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 ②번 식

WONKWANG UNIVERSITY Dept. of Computer · Software Engineering

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

①식을 간소화하는 과정
동일한 항 추가
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 ④번 식

WONKWANG UNIVERSITY Dept. of Computer · Software Engineering

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

 ②식을 간소화하는 과정
① ABC  ABC  ABC  ABC  ABC
② AB  AB  ABC
③ AB  AB  AC A( A  B)  AA  AB  0  AB  AB
A  AB  ( A  A)( A  B)  1  ( A  B)  A  B
④ AB  AB  BC

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 ④번 식

WONKWANG UNIVERSITY Dept. of Computer · Software Engineering

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

예제 5 불 대수 법칙을 이용하여 다음 논리식을 간소화하여라.

ABC  ABC  ABC  ABC

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

예제 6 다음 진리표에서 논리식을 구하고 불 대수 법칙을 이용하여 간소화하여라.

풀이
ABC F 𝐹̅
0 0 0 0 1
F A B C Em 1 2 3 4 5
0 0 1 1 0 F B C t F B E T FBC ABC
0 1 0
0 1 1
1
1
0
0 吉照都 十 妬

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