In logica, la disgiunzione inclusiva o disgiunzione logica è un connettivo logico attraverso il quale, a partire da due proposizioni, si forma una nuova proposizione.
Date due proposizioni e , la disgiunzione è indicata con chiamata A o B oppure chiamata A vel B; è vera solo nel caso in cui almeno una tra e è vera mentre è falsa quando tutte e due sono false. Quando si hanno due enunciati aperti e , l'insieme di verità di corrisponde all'unione tra i due insiemi di verità. In effetti, la disgiunzione gode delle stesse proprietà dell'unione.
La disgiunzione in algebra booleana è indicata con l'operatore OR.
Tabella della verità: A B AB V V V V F V F V V F F F Proprietà Proprietà di idempotenza: Proprietà commutativa: Proprietà associativa: Proprietà distributiva (rispetto alla congiunzione logica): Teorema dell'assorbimento (rispetto alla congiunzione logica): Legge di De Morgan
Voci correlate Disgiunzione esclusiva Algebra di Boole Connettivo logico
Altri progetti
Collegamenti esterni
Categoria:Connettivi logici Categoria:Elettronica digitale