Huevo misterioso

Multiplicación lógica o intersección[editar · editar código]
También conocida como AND (la conjunción y en inglés).




Resumiendo, el resultado siempre dará 0 a menos que ambas variablesvalgan 1; esto sucede porque como se explicó anteriormente hay sólo dos variables 0 y 1 por consiguiente al multiplicar 1·1 nos da como resultado 1. (Equivale a la multiplicación)
Suma lógica ounión[editar · editar código]
También conocida como OR (o).




Resumiendo, el resultado arrojado será siempre 1 si al menos una de las variables tiene por valor 1.
Nota: Estrictamente, entre AND y ORsó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[editar · editar código]
Tambiénconocida como NOT (no).


El not es una inversión del valor como se ve. (Equivale a restar el valor inicial de 1)
Operaciones lógicas compuestas[editar · editar código]
Siguiendo el Álgebra de Boole sepueden 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)Axiomas[editar · editar código]
En 1854 George Boole introdujo un tratamiento sistemático de lógica y para ello desarrolló un sistema algebraico que hoy en dia conocemos como álgebra de Boole.Más tarde en1904 Edward V. Huntington le dio una definición formal al álgebra de boole mediante los siguientes postulados.
elemento de identidad


Propiedad conmutativa (el resultado no depende del orden)Propiedad asociativa (el resultado no depende de el modo de asociación)


Propiedad distributiva (una operación se distribuye en una asociación)


Otras propiedades










Leyesde Morgan


Operadores no fundamentales XOR, XNOR e IMPLIES
Los operadores no fundamentales pueden expresarse a partir de los operadores fundamentales
XOR:





XOR se conoce como OR...