somma logica

somma logica

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. Nel modello insiemistico del linguaggio degli enunciati, la disgiunzione corrisponde all’→ unione di due insiemi.