Equivalencia lógica

La equivalencia lógica es un tipo de relación entre dos enunciados u oraciones en lógica proposicional o álgebra booleana. La relación se traduce verbalmente como "si y sólo si" y está simbolizada por una flecha doble de doble línea que apunta a la izquierda y a la derecha ( ). Si A y B representan declaraciones, entonces A B significa "A si y solo si B."

La declaración A B es exactamente igual que

(A B) * (B A)

donde el asterisco (*) representa la operación lógica Y, y la flecha de doble línea que apunta a la derecha ( ) representa una implicación lógica.

La equivalencia lógica funciona en ambos sentidos. Por lo tanto,

(A B) (B A)

La equivalencia lógica es importante en el diseño de circuitos digitales. Varios circuitos pueden ser lógicamente equivalentes, ya que todos tienen tablas de verdad idénticas. El objetivo del ingeniero es encontrar el circuito que realiza la función lógica deseada utilizando el menor número posible de puertas. Esto dará como resultado una eficiencia operativa, confiabilidad y velocidad óptimas.

Consulte también Símbolos matemáticos.