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.