Espressioni logiche - Esercizio
con gli operatori NOT, AND, OR, XOR, IMP, EQV e tabelle di verità
scarica
il file compresso del formato RTF
Espr. [A] [B] [C] [D]
[E] [F]
Testo dell'esercizio
Date le seguenti espressioni logiche nelle quali a e b
sono due enunciati (o proposizioni logiche), calcola il valore di verità
per tutte le possibili combinazioni di valori che possono assumere a
e b (entrambe vere, a vero e b falso, a
falso e b vero, entrambe false).
Espressione A
|
(a AND b) OR (a AND NOT b)
|
tabella
| a
|
b
|
a AND b
|
NOT b
|
a AND NOT b
|
(a AND b) OR (a AND NOT b)
|
| V
|
V
|
V
|
F
|
F
|
V
|
| V
|
F
|
F
|
V
|
V
|
V
|
| F
|
V
|
F
|
F
|
F
|
F
|
| F
|
F
|
F
|
V
|
F
|
F
|
Espressione B
|
(a EQV b) XOR (a AND b)
|
Tabella
| a
|
b
|
a EQV b
|
a AND b
|
(a EQV b) XOR (a AND b)
|
| V
|
V
|
V
|
V
|
F
|
| V
|
F
|
F
|
F
|
F
|
| F
|
V
|
F
|
F
|
F
|
| F
|
F
|
V
|
F
|
V
|
Espressione C
|
(a IMP b) EQV NOT (a OR b)
|
Tabella
| a
|
b
|
a IMP b
|
a OR b
|
NOT (a OR b)
|
(a IMP b) EQV NOT (a OR b)
|
| V
|
V
|
V
|
V
|
F
|
F
|
| V
|
F
|
F
|
V
|
F
|
V
|
| F
|
V
|
V
|
V
|
F
|
F
|
| F
|
F
|
V
|
F
|
V
|
V
|
Espressione D
|
a XOR (a OR NOT b)
|
tabella
| a
|
b
|
NOT b
|
a OR NOT b
|
a XOR (a OR NOT b)
|
| V
|
V
|
F
|
V
|
F
|
| V
|
F
|
V
|
V
|
F
|
| F
|
V
|
F
|
F
|
F
|
| F
|
F
|
V
|
V
|
V
|
Espressione E
|
NOT (a EQV b) AND (a XOR b)
|
tabella
| a
|
b
|
a EQV b
|
NOT(a EQV b)
|
a XOR b
|
NOT (a EQV b) AND (a XOR b)
|
| V
|
V
|
V
|
F
|
F
|
F
|
| V
|
F
|
F
|
V
|
V
|
V
|
| F
|
V
|
F
|
V
|
V
|
V
|
| F
|
F
|
V
|
F
|
F
|
F
|
Espressione F
|
(a IMP b) OR NOT (a AND b)
|
Tabella
| a
|
b
|
a IMP b
|
a AND b
|
NOT (a AND b)
|
(a IMP b) OR NOT (a AND b)
|
| V
|
V
|
V
|
V
|
F
|
V
|
| V
|
F
|
F
|
F
|
V
|
V
|
| F
|
V
|
V
|
F
|
V
|
V
|
| F
|
F
|
V
|
F
|
V
|
V
|