next up previous contents index
Next: L'operazione di casting Up: Gli operatori Previous: Gli operatori   Indice   Indice analitico


Precisazioni sulle operazioni di logica booleana

Quella che segue è la tabella di verità dell'OR esclusivo (altrimenti noto come XOR):

A operatore B Risultato
1 ^ 1 0
1 ^ 0 1
0 ^ 1 1
0 ^ 0 0

L'operatore di XOR è, come si è osservato sopra, il seguente: ^ E' un operatore binario, quindi agisce sui singoli bit.

Quanto dice la tabella sopra, sta a significare: l'operazione restituisce valore vero ( uno ) Se e solo se uno dei due operandi è vero. La differenza dall' OR semplice è in quel se e solo se.

Segue tabella dell'OR 'classico' :

A operatore B Risultato
1 1 1
1 0 1
0 1 1
0 0 0

Una curiosa proprietà dello XOR consiste nel fatto che, se questo viene ripetuto due volte sulle stesse variabili, si torna esattamente al valore di partenza.

Un esempio pratico: operando sulle singole cifre binarie incolonnate:

  A = 00110101
  B = 10101100
C = A xor B = 10011001
  C xor B = 00110101

C xor B equivale a (A xor B) xor B. Ovvero, A xor B due volte, torna esattamente lo stesso valore di A.

Per l'AND, la tabella va letta in analogia a quanto segue: (proposizione vera) E (proposizione falsa) = proposizione falsa

Tabella di verità dell'operatore AND

A operatore B Risultato
1 1 1
1 0 0
0 1 0
0 0 0

Per il NOT su bit, si ha invece:

( vero ) diverso da (vero) == falso
( vero ) diverso da (falso) == vero
...etc.

Ovvero:

A operatore B Risultato
1 ! 1 0
1 ! 0 1
0 ! 1 1
0 ! 0 0


next up previous contents index
Next: L'operazione di casting Up: Gli operatori Previous: Gli operatori   Indice   Indice analitico
blacksheep & 2006-11-22