somma logica detta anche → or, è uno degli operatori dell'algebra di → Boole. La somma logica fra due variabili booleane a e b corrisponde, nel linguaggio degli enunciati, alla → disgiunzione fra due enunciati A e B.
Si definisce "prodotto logico'' dei due circuiti elementari X e Y il circuito T = X . Y nel quale i due interruttori X e Y sono collegati in serie. Il circuito così ottenuto risulta chiuso (la lampadina sarà accesa) quando X e Y sono entrambi chiusi .
Le operazioni fondamentali non sono addizione e sottrazione ma gli operatori logici: la congiunzione o prodotto logico indicata con ∧ oppure AND; la disgiunzione o somma logica indicata con ∨ oppure OR; la negazione o complementazione indicata con ¬ oppure NOT.
Le porte logiche sono gli elementi di un circuito logico che combinano dei segnali in entrata ( input ) fornendo in uscita ( output ) un altro segnale. Nei linguaggi di programmazione e in matematica le porte logiche sono anche dette operatori logici.
È possibile definire una funzione logica con un qualsiasi numero naturale n di variabili (o argomenti) e, dato un numero n di argomenti esistono 2(2n) funzioni logiche distinte. È possibile definire una funzione logica a partire da un enunciato e dalla sua tavola di verità.