Connettivi logici

I connettivi logici sono gli operatori logici che consentono di combinare le variabili logiche ( variabili booleane ) in una espressione logica ( espressione booleana ). I connettivi logici consentono di legare tra loro due o più proposizioni logiche elementari per formare una proposizione logica complessa. I principali connettivi logici sono i seguenti:

• Congiunzione logica. Il connettivo logico della congiunzione è anche indicato con l'operatore logico AND oppure con il simbolo ∧.
• Disgiunzione logica. Il connettivo logico della disgiunzione è anche indicato con l'operatore logico OR oppure con il simbolo ∨
• Negazione logica. Il connettivo logico della negazione è anche con indicato con l'operatore logico NOT oppure con il simbolo ¬.