LOGICA BINARIA

La lógica se define como una disciplina que investiga y estudia los principios formales del conocimiento humano, y su concordancia consigo mismo, es decir, las formas y las leyes más generales del pensamiento humano considerado puramente en sí mismo sin referencia a los objetos. La lógica ha tenido gran participación en grandes descubrimientos como el algebra de Boole o la tabla periódica.

Lo que comúnmente en lógica es mentira o verdad, en la lógica binaria lo vemos representado mediante dígitos utilizando exclusivamente los valores 0 (Mentira) y 1(Falso), números que de por sí no tienen un valor numérico de tipo real, sino más bien de tipo discreto. Además la lógica binaria también trabaja con operaciones lógicas:

Multiplicación Lógica (AND): Siempre da 0, excepto si las dos son iguales a 1.
Suma Lógica (OR): Siempre da 1, excepto si las dos variables son iguales a 0.
Negación Lógica (NOT): El resultado es una inversión del resultado.

EL ALGEBRA DE BOOLE

El algebra de Boole ha abierto las puertas al gran campo de la ingeniería digital como es la electrónica digital o los trabajos de Herbrand en 1930 quien presento un algoritmo para encontrar, una interpretación que pueda facilitar una formula.
El álgebra de Boole establece una serie de postulados y operaciones lógicas, que consisten en admitir dos estados donde dichos estados tienen un carácter opuesto. Por ejemplo, a una lámpara corriente (tubo fluorescente) el álgebra de Boole sólo la considera en uno de los dos estados posibles y opuestos: encendida o apagada. No se admiten estados intermedios. A uno de los dos estados posibles (lámpara encendida), se le denomina de diversas formas tales como: Verdadero, Estado Alto, Nivel Lógico 1, etc. Al otro estado (lámpara apagada), se le referencia con palabras opuestas tales como: Falso, Estado Bajo, Nivel Lógico 0, etc. En informática y matemáticas, es una estructura algebraica que rigorizan las operaciones lógicas, las leyes principales son:

Ley de Idempotencia

Ley de Asociativa

Ley de Conmutatividad

Ley de Cancelación

Ley de Involución

Ley de Morgan.

Ley Distributiva