ESPRESSIONE LOGICA

Determinare se la seguente espressione è una tautologia, una contraddizione o nessuna delle due:

image009

Anche qui per determinare il risultato rappresento la tabella di verità:

c
d
c neg
d neg
cn dn
cn d
par imp c
image009
V
V
F
F
V
F
V
V
V
F
F
V
V
V
V
V
F
V
V
F
F
V
F
V
F
F
V
V
V
V
F
F

 

Dopo aver rappresentato la tabella di verità ho determinato il risultato e ho constatato  che non è né una tautologia, né una contraddizione perché il risultato non è né tutto vero, né tutto falso.