Universidad Mayor de San Andrs

Ciencias Puras y Naturales

Informtica

INF-112
Auxiliar : Univ. Alvaro Mamani Quispe
TEOREMAS BOOLEANOS
1. 0 = 0
2. 1 =
3. =
4. + =
5. = 0
6. + 0 =
7. + = 1
8. + 1 = 1
9. =
10. + = +
11. =
12. + ( + ) = ( + ) + = + +
13. ( ) = ( ) =
14. ( + ) = +
15. + ( ) = ( + )( + )
16. + =
( + ) =
17.
( ) = +
18.
19. + = = ( + )( + )

20. ( + )( + ) =
= + )
TABLA DE VALIDEZ COMPUERTAS LOGICAS
OR
A

0
0
1
1

0
1
0
1

+
0
1
1
1

NOR

+
1
0
0
0

AND

0
0
0
1

NAND

1
1
1
0

EXOR

0
1
1
0

EXNOR

1
0
0
1

Universidad Mayor de San Andrs

Ciencias Puras y Naturales
Informtica

SIMBOLOS DE COMPUERTAS LOGICAS

COMPUERTA OR

COMPUERTA NOR

COMPUERTA AND

COMPUERTA EXOR

COMPUERTA NAND

COMPUERTA EXNOR

COMPUERTA NOT