Álgebra de Boole

OR AND NOT
OPERACIONES LÓGICAS
OR
A B X=A+B
00 0
01 1 A
10 1 X= A + B
11 1 B
OPERACIONES LÓGICAS
AND
A B X=A xB
00 0
01 0 A
10 0 X=A x B
11 1 B
OPERACIONES LÓGICAS
NOT_
A X=A
0 1
1 0 _
A X=A
 OPERACIONES LÓGICAS
OR AND NOT
A _
X=A+ B A X=AB A X=A
B B _
A B X=A+B A B X=A xB A X= A
0 0 0 0 0 0 0 1
0 1 1 0 1 0 1 0
1 0 1 1 0 0
1 1 1 1 1 1
DESCRIPCIÓN ALGEBRAICA DE
CIRCUITOS LÓGICOS
(EXPRESIÓN BOOLEANA)
OR AND NOT

_
A
A _
B ABC _ ____
B ABC _
C X=(ABC) (A+D)
C
A ____
A+D A+D
D
D

X=(A’BC)(A+D)’
 DESCRIPCIÓN ALGEBRAICA DE
CIRCUITOS LÓGICOS
(EXPRESIÓN BOOLEANA)
OR AND NOT

______________

X=(A+B)C+D
(A+B) __________
A (A+B)C (A+B)C _____________

B X=(A+B)C+D
C D

D
 DESCRIPCIÓN ALGEBRAICA DE
CIRCUITOS LÓGICOS
(TABLA DE VERDAD)
______________
ABCD X
(A+B)
X=(A+B)C+D __________
0000
0001
A (A+B)C (A+B)C 0010
B 0011
D
0100
C 0101
_____________

D X=(A+B)C+D 0 1 1 0
OR NAD X(A,B,C,D) 0111
_____________

X(1,1,0,0) X=(1+1)0+0 1 0 0 0
________

X=(1)0
____
1001
NOT X= 0 1010
X= 1 1011
1100
1101
1110
1111
 DESCRIPCIÓN ALGEBRAICA DE
CIRCUITOS LÓGICOS
(TABLA DE VERDAD)
______________
ABCD X
(A+B)
X=(A+B)C+D __________
0000
0001
1
1
A (A+B)C (A+B)C 0010 1
B 0011 1
D
0100 1
C 0101
_____________
1
D X=(A+B)C+D 0 1 1 0 0
_____________ 0111 1
X=(A+B)C+D ∴ 𝑋 = 1 𝑆𝐼
1000 1
X=1 𝑆𝐼 (A+B)C=1 V D=1 1001 1
D=1 V C=0 V A=B=0
→ (A+B)C=1 SI (A+B)C=0
1010 0
1011 1
→ (A+B)C=0 SI A+B=0 𝐶 = 0 1100 1
→ (A+B)=0 SI A 𝐵 = 0 1101 1
1110 0
1111 1
 DESCRIPCIÓN ALGEBRAICA DE
CIRCUITOS LÓGICOS

(A+B) __________
A (A+B)C (A+B)C
B C
C D
_____________

D X=(A+B)C+D
_
A
A _
B ABC _ ____
B ABC _
C C ABC) (A+D)

A ____
A+D A+D
D
D
DESCRIPCIÓN ALGEBRAICA DE
CIRCUITOS LÓGICOS
______
A B X=A x B
A
NAND
(AB)
_______

(AB)
A ______
0 0 1
(AB) 0 1 1
B = B
1
1 0
1 1 0
______
A B X=A +B
NOR 0 0 1
A ____ A ____ 0 1 0
A+B A+B
A+B
= B
1 0 0
B
1 1 0
 ALGEBRA DE BOOLE
Teoremas, leyes e identidades
1) X +__
0=X 6) X · __
1=X
2) X+X=1 7) X·X=0
3) X+1=1 8) X·0=0
4) X+X=X
__ 9) X·X=X
__
5) X = X

10) X + Y = Y + X 14) X · Y = Y · X
11) X + (Y + Z) = (X + Y ) + Z 15) X · (Y · Z) = (X · Y ) · Z
12) X · (Y + Z) = (X · Y ) + (X · Z) 16) X + (Y · Z) = (X + Y ) · (X + Z)
13) X + (X · Y)= X 17) X · (Y + X) = X
DeMorgan
____ __ __ _____ __ __
18) A · B = A + B 19) A + B = A · B
 ALGEBRA DE BOOLE
Teoremas, leyes e identidades
1) X +__
0=X 6) X · __
1=X
2) X+X=1 7) X·X=0
3) X+1=1 8) X·0=0
4) X+X=X
__ 9) X·X=X
__
5) X = X

10) X + Y = Y + X 14) X · Y = Y · X
11) X + (Y + Z) = (X + Y ) + Z 15) X · (Y · Z) = (X · Y ) · Z
12) X · (Y + Z) = (X · Y ) + (X · Z) 16) X + (Y · Z) = (X + Y ) · (X + Z)
13) X + (X · Y)= X 17) X · (Y + X) = X
DeMorgan
____ __ __ _____ __ __
18) A · B = A + B 19) A + B = A · B
 ALGEBRA DE BOOLE
Teoremas, leyes e identidades _
__ _ A Y=(AB)
1) X +__
0=X 6) X · __
1=X Y = ABC+ABC (12)
2) X+X=1 7) X·X=0 _ _
Y = AB(C+C) (02)
3) X+1=1 8) X·0=0 _
4) X+X=X 9) X·X=X Y = AB(1) (06) B
__
__
5) X = X ∴ Y = AB

10) X + Y = Y + X Y = (A+B)·(A+B) (12)

11) X + (Y + Z) = (X + Y ) + Z Y = AA+AB+AB+BB (07)(09)
12) X · (Y + Z) = (X · Y ) + (X · Z) Y = 0+AB+AB+B (12)

13) X + (X · Y)= X Y =B(A+A+1) (3)

14) X · Y = Y · X Y =B(1) (6)

15) X · (Y · Z) = (X · Y ) · Z ∴ Y=B B Y=B

16) X + (Y · Z) = (X + Y ) · (X + Z)
17) X · (Y + X) = X
DeMorgan
____ __ __ _____ __ __
18) A · B = A + B 19) A + B = A · B
 ALGEBRA DE BOOLE
Teoremas, leyes e identidades
1) X +__
0=X 6) X · __
1=X Z =(A+BC)(D+EF) (18)
2) X+X=1 7) X·X=0
3) X+1=1 8) X·0=0 Z =(A+BC) + (D+EF) (19)
4) X+X=X
__ 9) X·X=X Z =A ∙ (BC) + D ∙ (EF)(18)
__
5) X = X Z =A ∙ (B + C) + D ∙ (E + 𝐹 ) (12)
Z =A ∙ B + A ∙ C + D ∙ E + D ∙ F
10) X + Y = Y + X
11) X + (Y + Z) = (X + Y ) + Z
12) X · (Y + Z) = (X · Y ) + (X · Z)
13) X + (X · Y)= X Y =(A+C)(B+C) (18)
14) X · Y = Y · X Y =(A+C) + (B+C) (19)
Y =A ∙ C + B ∙ C (05)
15) X · (Y · Z) = (X · Y ) · Z
Y =A ∙ C + B ∙ C (12)
16) X + (Y · Z) = (X + Y ) · (X + Z)
Y =C ∙ (A + B)
17) X · (Y + X) = X
DeMorgan
____ __ __ _____ __ __
18) A · B = A + B 19) A + B = A · B
 ALGEBRA DE BOOLE
Teoremas, leyes e identidades
DeMorgan
____ __ __
18) A · B = A + B
A A·B A A+B
B
= B

_____ __ __
19) A + B = A · B

A A+B A A·B
B
= B
 ALGEBRA DE BOOLE
Universalidad de las compuertas NOR y NAND
A A
X= A + B X= AB A X =A
B B
OPERACIÓN NOT
A X =A

A A
X=A+B
A
B 𝑺𝒊 𝑨 = 𝑩 → X = A + A (4)
→ X = A + A (4) →X=A
→X=A
 ALGEBRA DE BOOLE
Universalidad de las compuertas NOR y NAND
A A
X= A + B X= AB A X =A
B B
OPERACIÓN OR
A
X= A + B

B
A A
X=A+B X=A+B
B B

𝑆𝑖 𝑛𝑒𝑔𝑎𝑚𝑜𝑠 la salida X=(A + B) + (A + B) (4)

A + B → nos queda X=A + B (5)
A + B y por (5) X=A + B
X=A + B
 ALGEBRA DE BOOLE
Universalidad de las compuertas NOR y NAND
A A
X= A + B X= AB A X =A
B B
A OPERACIÓN AND
X= AB
A
A
B 𝑋 =A+B
A
X=A+B
De Morgan (19)
B 𝐵
B A+B =A ∙B
X=A + B → Aplicamos De Morgan (19) por (5)
A+B=A ∙ B
𝑋 =A∙B
Si negamos las entradas A,B
𝑋 =A+B =A ∙B por (5)

𝑋 =A∙B
 ALGEBRA DE BOOLE
Forma canónica de una función lógica
F(X,Y,Z)
000 XYZ mo X+Y+ Z Mo
001 XYZ m1 X+Y+ Z M1
010 XYZ m2 X+Y+ Z M2
011 XYZ m3 X+Y+ Z M3
100 XYZ m4 X+Y+Z M4
101 XYZ m5 X+Y+Z M5
110 XYZ m6 X+Y+Z M6
1 1 1 X Y Z m7 X+Y+Z M7
F1(X,Y,Z) = X Y Z + 𝑋Y + YZ

F2(X,Y,Z) = X + Z ∗ X + Y + Z ∗ (Y + X)
 ALGEBRA DE BOOLE
Forma canónica de una función lógica

F(X,Y,Z)

X Y Z F1(X,Y,Z) F1(X,Y,Z)
F1(X,Y,Z) = X Y Z + XY + YZ 000 1 0
001 0 0
F2(X,Y,Z) = X + Z ∗ X + Y + Z ∗ (Y + X) 010 0 1
011 1 1
100 0 1
101 0 0
110 1 1
111 1 0
 ALGEBRA DE BOOLE
Forma canónica de una función lógica

X Y Z F(X,Y,Z) F(X,Y,Z)
000 1 XYZ F1(X,Y,Z) = X Y Z + XYZ + XYZ+XYZ
001 0
010 1 XYZ F1(X,Y,Z) = m0 + m2 + m6 + m7
011 0
100 0 = (0,2,6,7)
101 0
110 1 XYZ
111 1 XYZ
 ALGEBRA DE BOOLE
Forma canónica de una función lógica

X Y Z F(X,Y,Z) F(X,Y,Z)
000 1
001 0 X+Y+ Z
010 1
011 0 X+Y+ Z
100 0 X+Y+Z
101 0 X+Y+Z
110 1
111 1
F2(X,Y,Z) = X + Y + Z ∗ X + Y + Z ∗ X + Y + Z ∗ (X + Y + Z)
F1(X,Y,Z) = M1 + M3 + M4 + M5
= (1,3,4,5)
 ALGEBRA DE BOOLE
Forma canónica de una función lógica
F1(X,Y,Z) = X Y Z + XY + YZ
X Y Z F1(X,Y,Z)
0 0 0 1 (X Y Z)
001 0
010 0
0 1 1 1 (X Y Z) F1
(X,Y,Z) = X Y Z + X Y Z + X Y Z + X Y Z
100 0
101 0
1 1 0 1 (X Y Z)
1 1 1 1 (X Y Z)
 ALGEBRA DE BOOLE
Forma canónica de una función lógica
F1(X,Y,Z) = X Y Z + XY + YZ
F1(X,Y,Z) = X Y__Z + XY + YZ
2) X + X = 1
XY = XY*1 YZ = XY
XY = XY* (Z + Z) XY = XY* (Z + Z)
XY = XYZ + XYZ

F1(X,Y,Z) = X Y Z + X Y Z + X Y Z + X Y Z
 ALGEBRA DE BOOLE
Forma canónica de una función lógica

F(X,Y,Z)

X Y Z F1(X,Y,Z) F1(X,Y,Z)
F1(X,Y,Z) = X Y Z + XY + YZ 000 1 0
001 0 0
F2(X,Y,Z) = X + Z ∗ X + Y + Z ∗ (Y + X) 010 0 1
011 1 1
100 0 1
101 0 0
110 1 1
111 1 0