La disgiunzione inclusiva (informaticamente OR) è un’applicazione su due proposizioni, definita secondo la seguente tabella di verità. L’operazione si indica con il simbolo ˅ (vel).
p | q | p˅q |
v | v | v |
v | f | v |
f | v | v |
f | f | f |
La tavola di verità si esprime dicendo che la disgiunzione inclusiva è vera se almeno una delle due proposizioni è vera (p o q, la congiunzione o indica la relazione logica). p e q sono condizioni sufficienti affinché la congiunzione sia vera; non è necessario che siano entrambe vere.
Manuale di cultura generale – Matematica – Logica – Disgiunzione inclusiva (OR) – Continua