Equivalenza logica

L'equivalenza logica è un tipo di relazione tra due affermazioni o frasi nella logica proposizionale o algebra booleana. La relazione si traduce verbalmente in "se e solo se" ed è simboleggiata da una doppia freccia a doppia linea che punta a sinistra ea destra ( ). Se A e B rappresentano affermazioni, allora A B significa "A se e solo se B."

L'affermazione A B è esattamente lo stesso di

(A B) * (B A)

dove l'asterisco (*) rappresenta l'operazione logica AND e la freccia a doppia linea rivolta verso destra ( ) rappresenta l'implicazione logica.

L'equivalenza logica funziona in entrambi i modi. Quindi,

(A B) (B A)

L'equivalenza logica è importante nella progettazione di circuiti digitali. Diversi circuiti possono essere logicamente equivalenti, in quanto tutti hanno tabelle di verità identiche. L'obiettivo dell'ingegnere è trovare il circuito che esegue la funzione logica desiderata utilizzando il minor numero possibile di porte. Ciò si tradurrà in efficienza operativa, affidabilità e velocità ottimali.

Vedi anche simboli matematici.