• Comprobar las leyes de tipo OR de algebra de bool
Respuestas a la pregunta
El álgebra de boole también llamada álgebra booleana , en electrónica digital, informatica y matemáticas es una estructura que esquematiza las operaciones lógicas .
En lógica binaria se suele emplear la notación ( { 0 , 1 } , - , + , • ) , común en la tecnología digital siendo la forma más usual y más comoda de representar.
Por ejemplo las leyes de Morgan se representan así :
____ _ _
a + b = a . b
____ _ _
a . b = a + b
Cuando el álgebra de boole se empleha en electrónica suele emplearse la misma denominación para las puertas logicas AND ( Y ) , OR , ( O ) y NOT ( NO ) y X - NOR ( equivalencia ) . Las variables pueden representarse con letras mayúsculas y minúsculas y pueden tomar los valores { 0 , 1 } .
Empleando esta notación las leyes de Morgan se representan :
NOT ( a OR b ) = NOT AND NOT
NOT ( a AND b ) = NOT OR NOT
En su explicación lógica se emplea la notación \/ /\ y las variables pueden tomar los valores { F,V } Falso o Verdadero equivalentes a { 0 , 1 } .