Logica (sommario)
Scarica il file in formato .RTF e compresso con ZIP

Espressioni logiche 

con gli operatori NOT, AND, OR, XOR, IMP, EQV; tabelle di verità 

Espr. [A] [B] [C] [D] [E] [F] 

(Nicola Scarpel) 

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