Download as pdf or txt
Download as pdf or txt
You are on page 1of 13

Sistemas Lógicos 1

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

BA\C 0 1 BA\C 0 1 BA\C 0 1

00 000 100 00 000 100 00 000 100

01 001 101 01 001 101 01 001 101

11 011 111 11 011 111 11 011 111

10 010 110 10 010 110 10 010 110

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

You might also like