Tablas de verdad

Solo disponible en BuenasTareas
  • Páginas : 3 (623 palabras )
  • Descarga(s) : 0
  • Publicado : 10 de mayo de 2011
Leer documento completo
Vista previa del texto
Tablas de verdad de las operaciones binarias fundamentales

Multiplicación lógica o intersección:
También conocida como AND (la conjunción y en inglés).
[pic]
[pic]
[pic]
[pic]
Resumiendo, elresultado siempre dará 0 a menos que ambas variables valgan 1; esto sucede porque como se explicó anteriormente hay solo dos variable 0 y 1 por consiguiente al multiplicar 1·1 nos da como resultado1. (Equivale a la multiplicación)

Suma lógica o unión
También conocida como OR (o).
[pic]
[pic]
[pic]
[pic]
Resumiendo, el resultado arrojado será siempre 1 si al menos una de las variablestiene por valor 1.
Nota: Estrictamente, entre AND y OR sólo una de las dos podría considerarse fundamental ya que una puede obtenerse de la otra en combinación con el NOT según las leyes de De Morgan.Negación lógica
También conocida como NOT (no).
[pic]
[pic]
El not es una inversión del valor como se ve. (Equivale a restar el valor inicial de 1)
Operaciones lógicas compuestas
Siguiendoel Álgebra de Boole se pueden combinar estas operaciones empleando varias variables y obteniendo resultados más complejos. A continuación una tabla de verdad de una operación lógica compuesta.
Ejemplo:A · (B + C) = A · (B + C)
A B C Resultado
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 0
1 0 1 1
1 1 0 1
1 1 1 1

Axiomas
Las propiedades definen reglasprecisas para transformar unas expresiones en otras equivalentes. Los axiomas son propiedades primitivas.
Propiedad conmutativa (el resultado no depende del orden)
[pic]
[pic]
Propiedad asociativa (elresultado no depende de el modo de asociación)
[pic]
[pic]
Propiedad distributiva (una operación se distribuye en una asociación)
[pic]
[pic]
Otras propiedades
[pic]
[pic]
[pic]
[pic]
[pic][pic]
[pic]
[pic]
[pic]
[pic]
[pic]
[pic]
[pic]

Leyes de Morgan

[pic]
[pic]
Operadores no fundamentales XOR, XNOR e IMPLIES
Los operadores no fundamentales pueden expresarse a...
tracking img