Professional Documents
Culture Documents
SL1 - Aula 06 - Slides 07
SL1 - Aula 06 - Slides 07
Docentes:
Prof. Pedro Sousa, pas@fct.unl.pt
Sistemas Lógicos 1 pim@fct.unl.pt
Prof. João Paulo Pimentão,
Departamento de Engenharia Electrotécnica e Computadores
Truth Tables and Karnaugh Maps
A F A 0 1
0 1 1 1
F=1
1 1
F=A+A’=1
When you select a group of two 1’s, the function’s minterm loses 1
variable: because in one of the positions the variable is True and on
the other the variable is False
Sistemas Lógicos 1
Departamento de Engenharia Electrotécnica e Computadores
Truth Tables and Karnaugh Maps
B A F
B
0 0 1
A\B 0 1
0 1 1
0 1 00 10
1 0 0
1 1 0 A 1 1 01 11
F(B,A) = B’
F=B’A+B’A’=
= B’(A+A’)=
= B’
Sistemas Lógicos 1
Departamento de Engenharia Electrotécnica e Computadores
Truth Tables and Karnaugh Maps
B A F
B
0 0 1
A\B 0 1
0 1 1
0 1 00 10
1 0 0
1 F(B,A) = B’
1 1 0 A 1 01 11
B A F B A F
F(B,A) = 1 F(B,A) = B + A B
B
0 0 1 0 0 0
A\B 0 1 A\B 0 1
0 1 1 0 1 1
0 0 0 00 1 10
1 0 1 1 00 1 10 1 0 1
1 A 1 1 01 0 11
1 1 1 A 1 01 1 11 1 1 0
Sistemas Lógicos 1
Departamento de Engenharia Electrotécnica e Computadores
Truth Tables and Karnaugh Maps
C B A F BA\C 0 1 BA\C 0 1
0 0 0
0 0 1 00 000 100 00 000 100
0 1 0
01 001 101 01 001 101
0 1 1
1 0 0 11 011 111 11 011 111
1 0 1
10 010 110 10 010 110
1 1 0
1 1 1
F(C,B,A) = 1
Sistemas Lógicos 1
Departamento de Engenharia Electrotécnica e Computadores
Truth Tables and Karnaugh Maps
DCBA
m D C B A F
0 0 0 0 0 0 C
D
1 0 0 0 1 0
2 0 0 1 0 0
BA\DC 00 01 11 10
3 0 0 1 1 0
4 0 1 0 0 0 00 0 0 0 4 0 12 0 8
5 0 1 0 1 0
6 0 1 1 0 0 01 0 1 0 5 0 13 0 9
A
7 0 1 1 1 0
11 0 3 0 7 1 15 1 11
8 1 0 0 0 0
B
9 1 0 0 1 0 10 0 2 0 6 1 14 1 10
10 1 0 1 0 1
11 1 0 1 1 1
12 1 1 0 0 0 F=BD=DB
13 1 1 0 1 0
14 1 1 1 0 1
15 1 1 1 1 1
Sistemas Lógicos 1
Departamento de Engenharia Electrotécnica e Computadores
Truth Tables and Karnaugh Maps
Using zeros
m D C B A F DCBA
0 0 0 0 0 1 C
D
1 0 0 0 1 1
2 0 0 1 0 0
BA\DC 00 01 11 10
3 0 0 1 1 0
4 0 1 0 0 0 00 1 0 0 4 0 12 0 8
5 0 1 0 1 0
6 0 1 1 0 0 01 1 1 0 5 0 13 0 9
A
7 0 1 1 1 0
11 0 3 0 7 0 15 0 11
8 1 0 0 0 0
B
9 1 0 0 1 0 10 0 2 0 6 0 14 0 10
10 1 0 1 0 0
11 1 0 1 1 0
12 1 1 0 0 0 F=C’.D’. B’
13 1 1 0 1 0
14 1 1 1 0 0
15 1 1 1 1 0
Sistemas Lógicos 1
Departamento de Engenharia Electrotécnica e Computadores
Truth Tables and Karnaugh Maps
Using zeros
m D C B A F DCBA
0 0 0 0 0 1 C
D
1 0 0 0 1 1
2 0 0 1 0 1
BA\DC 00 01 11 10
3 0 0 1 1 1
4 0 1 0 0 0 00 1 0 0 4 0 12 0 8
5 0 1 0 1 0
6 0 1 1 0 0 01 1 1 0 5 0 13 0 9
A
7 0 1 1 1 0
11 1 3 0 7 0 15 0 11
8 1 0 0 0 0
B
9 1 0 0 1 0 10 1 2 0 6 0 14 0 10
10 1 0 1 0 0
11 1 0 1 1 0
12 1 1 0 0 0 F=C’.D’
13 1 1 0 1 0
14 1 1 1 0 0
15 1 1 1 1 0
Sistemas Lógicos 1
Departamento de Engenharia Electrotécnica e Computadores
Truth Tables and Karnaugh Maps
Using zeros
m D C B A F DCBA
0 0 0 0 0 0 C
D
1 0 0 0 1 0
2 0 0 1 0 0
BA\DC 00 01 11 10
3 0 0 1 1 0
4 0 1 0 0 0 00 0 0 0 4 0 12 0 8
5 0 1 0 1 0
6 0 1 1 0 0 01 0 1 0 5 0 13 0 9
A
7 0 1 1 1 0
11 0 3 0 7 1 15 1 11
8 1 0 0 0 0
B
9 1 0 0 1 0 10 0 2 0 6 1 14 1 10
10 1 0 1 0 1
11 1 0 1 1 1
12 1 1 0 0 0 F= D.B
13 1 1 0 1 0
14 1 1 1 0 1
15 1 1 1 1 1
Sistemas Lógicos 1
Departamento de Engenharia Electrotécnica e Computadores
Truth Tables and Karnaugh Maps
Using zeros
m D C B A F DCBA
0 0 0 0 0 1 C
D
1 0 0 0 1 1
2 0 0 1 0 0
BA\DC 00 01 11 10
3 0 0 1 1 0
4 0 1 0 0 0 00 1 0 0 4 0 12 0 8
5 0 1 0 1 0
6 0 1 1 0 0 01 1 1 0 5 0 13 0 9
A
7 0 1 1 1 0
11 0 3 0 7 1 15 1 11
8 1 0 0 0 0
B
9 1 0 0 1 0 10 0 2 0 6 1 14 1 10
10 1 0 1 0 1
11 1 0 1 1 1
12 1 1 0 0 0 F=(D+B’)(D+C’)(D’+B)
13 1 1 0 1 0
14 1 1 1 0 1
15 1 1 1 1 1
Sistemas Lógicos 1
Departamento de Engenharia Electrotécnica e Computadores
Truth Tables and Karnaugh Maps
5 Variables EDCBA
m E D C B A F m E D C B A F
0 0 0 0 0 0 1 16 1 0 0 0 0 1
1 0 0 0 0 1 1 17 1 0 0 0 1 1
2 0 0 0 1 0 0 18 1 0 0 1 0 0
3 0 0 0 1 1 0 18 1 0 0 1 1 0
4 0 0 1 0 0 0 20 1 0 1 0 0 0 Karnaugh Map?
5 0 0 1 0 1 0 21 1 0 1 0 1 0
6 0 0 1 1 0 0 22 1 0 1 1 0 0
7 0 0 1 1 1 0 23 1 0 1 1 1 0
8 0 1 0 0 0 0 24 1 1 0 0 0 0
9 0 1 0 0 1 0 25 1 1 0 0 1 0
10 0 1 0 1 0 1 26 1 1 0 1 0 1
11 0 1 0 1 1 1 27 1 1 0 1 1 1
12 0 1 1 0 0 0 28 1 1 1 0 0 0
13 0 1 1 0 1 0 29 1 1 1 0 1 0
14 0 1 1 1 0 1 30 1 1 1 1 0 1
15 0 1 1 1 1 1 31 1 1 1 1 1 1
Sistemas Lógicos 1
Departamento de Engenharia Electrotécnica e Computadores
Truth Tables and Karnaugh Maps
5 Variables EDCBA
E
C C
D D
BA\DC 00 01 11 10 BA\DC 00 01 11 10
00 0 0 0 4 0 12 0 8 00 0 16 0 20 0 28 0 24
01 0 1 0 5 0 13 0 9 01 0 17 0 21 0 29 0 25
A A
11 0 3 0 7 1 15 1 11 11 0 19 0 23 0 31 0 27
B B
10 0 2 0 6 1 14 1 10 10 0 18 0 22 0 30 0 26
F(E,D,C,B,A) = E’DB
Sistemas Lógicos 1
Departamento de Engenharia Electrotécnica e Computadores
Truth Tables and Karnaugh Maps
5 Variables EDCBA
E
C C
D D
BA\DC 00 01 11 10 BA\DC 00 01 11 10
00 0 0 0 4 0 12 0 8 00 0 16 0 20 0 28 0 24
01 0 1 1 5 0 13 0 9 01 0 17 0 21 0 29 0 25
A A
11 0 3 0 7 1 15 1 11 11 1 19 1 23 1 31 1 26
B B
10 0 2 0 6 1 14 1 10 10 1 18 1 22 1 30 1 27
F(E,D,C,B,A) = E’D’CB’A+DB+EB
Sistemas Lógicos 1
Departamento de Engenharia Electrotécnica e Computadores