ESERCIZI

Costruire la tabella di verità delle espressioni logiche:

1) A • (- B) + C
2) A + B • (C • (- C))
3) A • B + (C • (- C))
4) (A + (- A)) • B
Applicare le leggi di De Morgan a:
5) -(A + (- B) + C)
6) -(A + (- B) • (- C))
7) -(-A • (- B) • (- C))

VERIFICARE LA VALIDITÀ DELLE IDENTITÀ LOGICHE:

1. (-A +B) (A B)
2. (A +(-A)) VERO
3. (A * (-A)) FALSO
4. (A XOR b XOR B) A
L’operatore NOR è definito da: A NOR B -(A+B)
Verificare che:
-A A NOR A
A+B NOT (A NOR B)
A*B (NOT A) NOR (NOT B)

Gli operatori boleani possono essere utilizzati nelle formule Excel, nella riga dei criteri nelle query di Access,
motori di ricerca Internet, nei linguaggi di programmazione, nella progettazione dei circuiti logici e nella
crittografia.

DALLA TABELLA ALLA FUNZIONE BOLEANA

A B F(A;B)
1 1 0
1 0 1
0 1 0
0 0 1
Si analizza l’ultima colonna e in particolare gli 1. Nella seconda riga se c’è scritto 1 riportiamo A, altrimenti B.
Quindi A * -B
Nella quarta –A * -B
Poi si uniscono queste due formule con un OR

F(A;B)= A*(-B) + (-A)*(-B)

= (A+ (-A))*(-B)
= VERO* (-B)
= -B
OPERATORE XOR (disgiunzione esclusiva)
Tavola di verità
A B A XOR B
0 0 0
0 1 1
1 0 1
1 1 0
NELLO XOR A È VERO SE E SOLO SE UNA DELLE DUE COMPONENTI È VERA
Nel pasto completo è compreso o il dolce o la frutta. Se prendo entrambi e poi mi danno pagare il pasto
completo abbiamo un OR, altrimenti sarà uno XOR (1 1 0).
Lo XOR assomiglia molto alla somma.
A XOR B corrisponde all’unione meno l’intersezione

Esempio
n pari n>9 n pari n>9
0 0 0
0 1 1
1 0 1
1 1 0

10 è pari, è maggiore di 9, A XOR B è falsa (ultima riga)

Esercizi
Se A= Vero, B= Vero, C= Falso, qual è il valore di verità di:
 A xor (B or C)
 A xor B xor C
 (A and B) xor C
Costruire la tavola di verità di:
 A xor B xor A
 Not (A xor B)

A B (-A*B) + (A* (-B))

A B -A -B (-A)*(-B) A*(-B) (-A*B)+(A*(-B)) A B
1 1 0 0 0 0 0 0
0 1 1 0 1 0 1 1
1 0 0 1 0 1 1 1
0 0 1 1 0 1 0 0

IF THEN E IFF
Implicazione logica
A B A B
0 0 1
0 1 1
1 0 0
1 1 1

Essere bergamasco è una cs per essere lombardo, essere lombardo è una cn per essere bergamasco
A implica B
A è condizione sufficiente per B
B è condizione necessaria per A
NOT A OR B

Equivalenza logica
(AB) * (BA)
A B A B
0 0 1
0 1 0
1 0 0
1 1 1

A NAND B= NOT (A AND B)

Con il NAND si possono esprimere AND, OR e NOT
A B A nand B
V V F
V F V
F V V
—>NOT A= A NAND A F F V
—>A AND B= NOT NOT (A AND B) = NOT (A NAND B)
—>A OR B= NOT NOT (A OR B)= (NOT A AND NOT B) = (NOT A) NAND (NOT B) = (A NAND A) NAND (B NAND B)

Esempio: correzione di un voto universitario

NOT vot=30 AND lode VOTO LOD ERRORE OK
30 E
V V F V
V F F V
F V V F
F F F V

Esempio: progettazione di circuiti logici

1. Somma di due bit (s) con riporto (r)
A B S R
S= A・B+A・B 0 0 0 0
R= A・B 0 1 1 0
1 0 1 0
1 1 0 1

2. Controllo di parita pari (p) e dispari (d)

A B S D
- 0 0 0 1 A・B+
A 0 1 1 0 ・-B
1 0 1 0
1 1 0 1
Esempi di crittografia con XOR
1 1 0 1 1 0 1 0 1 0
 Testo binario
1 0 1 1 1 1 0 1 0 1
 Chiave binaria
0 1 1 0 0 1 1 1 1 1
 Testo cifrato

 testo cifrato
 chiave binaria
 testo in binario 1 1 0 1 1 0 1 0 1 0
1 0 1 1 1 1 0 1 0 1
M⨁chiave= C⟺C⨁chiave= M 0 1 1 0 0 1 1 1 1 1

Esercizio:

Casa 1 casa 2 casa 3 casa 4 casa 5

5 4 3 2 1  colori 5!5(fattoriale)
Stessa cosa per nazionalità, bibita, sigari e animali.