In logica, una congiunzione logica è un connettivo logico attraverso il quale, a partire da due proposizioni, si forma una nuova proposizione chiamata appunto congiunzione.
Date due proposizioni e la congiunzione di e , indicata con , è vera soltanto nel caso in cui e siano entrambe vere, mentre è falsa in tutti gli altri casi possibili. Quando si hanno due enunciati aperti e , l'insieme di verità di corrisponde all'intersezione tra i due insiemi di verità. In effetti, la congiunzione gode delle stesse proprietà dell'intersezione.
La congiunzione in algebra booleana è indicata con l'operatore AND.
Tabella di verità:
A B AB V V V V F F F V F F F F
Proprietà Proprietà di idempotenza: Proprietà commutativa: Proprietà associativa: Proprietà distributiva (rispetto alla disgiunzione inclusiva): Teorema dell'assorbimento (rispetto alla disgiunzione inclusiva): Legge di De Morgan
Voci correlate Algebra di Boole Connettivo logico Porta logica
Altri progetti
Collegamenti esterni
Categoria:Elettronica digitale Categoria:Connettivi logici