-
Il risultato di una
espressione dove figura l'operatore logico AND, sarà 'vero' quando entrambe
le relazioni contenute sono 'vere'. L'AND logico rappresenta la
congiunzione logica di due relazioni.
-
Il risultato di una
espressione dove figura l'operatore logico OR, sarà 'vero' quando almeno
una delle relazioni contenute è 'vera'. L'OR logico corrisponde
alla disgiunzione latina 'Vel', cioè: o questo o quello o tutti e
due. In logica, tale operatore è pure chiamato 'alternazione'.
-
Il risultato di una
espressione dove figura l'operatore logico XOR, sarà 'vero' quando soltanto
una delle due relazioni contenute è 'vera'. L'OR logico
(denominato anche 'OR esclusivo') corrisponde alla disgiunzione latina
'Aut-aut', cioè: o questo o quello.
-
Il risultato di una
espressione dove figura l'operatore logico EQV, sarà 'vero' quando il
valore di verità delle relazioni contenute è identico. Quando,
cioè, entrambe sono 'vere' oppure 'false', l'espressione logica sarà
'vera'.
-
Il risultato di una
espressione dove figura l'operatore logico IMP (che indica una
implicazione), sarà 'falso' soltanto quando la prima relazione
è 'vera' e la seconda 'falsa', indicando, in questo modo, che tale
rapporto non può essere considerato una implicazione, anzi ne è
proprio il contrario,appunto perché la prima relazione non implica
la seconda.
-
L'operatore
logico o Booleano NOT darà come risultato di una espressione logica
'vero' quando l'espressione logica era 'falsa' e viceversa.
|