ALGEBRA di BOOLE
Premessa
Connettivi logici
Negazione (NOT)
Prodotto (AND)
Prododotto invertito (NAND)>
Somma (OR)
Somma Invertita (NOR)
Somma esclusiva (EXOR)

Funzioni logiche
Funzioni sequenziali e combinatorie
Rappresentazione funzioni combinatorie
Tavole di verita'

CONNETTIVI LOGICI FONDAMENTALI : Somma Esclusiva (EXOR)

L' operazione di somma esclusiva corrisponde al seguente connettivo logico:

La variabile è vera se, e solo se,una delle due variabili o è vera.

(Viene escluso cioè, il caso in cui entrambe le variabili siano vere (OR), per cui l'operazione viene denominata, appunto, OR ESCLUSIVO o EXOR).

La notazione corrispondente e':

exor1.gif (420 byte)

La funzione OR ESCLUSIVO può essere espressa in termini di AND OR ed INVERSIONE in base alla seguente relazione:


Nota:
Per semplicità si sono descritte funzioni (connettivi logici) di due variabili, ovviamente le funzioni possono essere di più variabili, ad es., un AND a tre ingressi corrisponde al seguente connettivo logico: la variabile di uscita è vera se e solo se tutte e tre le variabili di ingresso sono vere.
Le variabili di ingresso vengono indicate anche come: argomenti della funzione o variabili indipendenti , la funzione NOT è l'unica, tra quelle descritte, che può evere un solo argomento, tutte le altre funzioni descritte hanno almeno due argomenti.