prodotto logico
prodotto logico detto anche → and, è uno degli operatori dell’algebra di → Boole. Il prodotto logico fra due variabili booleane a e b corrisponde, nel linguaggio degli enunciati, alla → congiunzione fra due enunciati A e B. Nel modello insiemistico del linguaggio degli enunciati, la congiunzione corrisponde all’→ intersezione di due insiemi.