Fórmulas lógicamente equivalentes, leyes lógicas, simplificación de fórmulas proposicionales, circuitos lógicos, lógica de bits(NOT, AND, OR, XOR)

 Fórmulas lógicamente equivalentes.- 

• En lógica, las declaraciones p y q son lógicamente equivalentes si tienen el mismo contenido lógico. Este es un concepto semántico, dos afirmaciones son equivalentes si tienen el mismo valor de verdad en todos los modelos. Equivalencias lógicas y Video.

Leyes lógicas.- Video con ejemplos.

Simplificación de fórmulas proposicionales.- Video con ejemplos.

Circuitos lógicos.- 

• En definitiva los circuitos lógicos con interruptores no son más que un arreglo de un conjunto de interruptores de compuertas abiertas y cerradas que tiene como finalidad transmitir información de manera conveniente, es decir, también se pueden negar el paso de la información restringiendo ciertas rutas dirigiendo la información bajo nuestro juicio. Información y Video.

Lógica de bits.- 

• NOT.- El NOT bit a bit, o bitwise, o complemento, es una operación unaria que realiza la negación lógica en cada bit, invirtiendo los bits del número, de tal manera que los ceros se convierten en 1 y viceversa.
• AND.- El AND bit a bit, o bitwise, toma dos números enteros y realiza la operación AND lógica en cada par correspondiente de bits. El resultado en cada posición es 1 si el bit correspondiente de los dos operandos es 1, y 0 de lo contrario.
• OR.- Una operación OR de bit a bit, o bitwise, toma dos números enteros y realiza la operación OR inclusivo en cada par correspondiente de bits. El resultado en cada posición es 1 si el bit correspondiente de cualquiera de los dos operandos es 1, y 0 si ambos bits son 0.
• XOR.- El XOR bit a bit, o bitwise, toma dos números enteros y realiza la operación OR exclusivo en cada par correspondiente de bits. El resultado en cada posición es 1 si el par de bits son diferentes y cero si el par de bits son iguales.

Ejemplos de lógica de bits.