Tavole della verità

[valeriadifazio_2015]

Buongiorno a tutti:) ho bisogno di un aiuto sulla tavola della verità. Ad esempio se io questo esercizio: mostrare la validità delle seguenti equivalenze p~>q)<~>(nonq~>nonp)<~>(nonp v q). La prima parte mi è chiara non riesco a capire la parte dove compare la negazione come devo ragionare
Grazie in anticipo

[Magma1]

Intendi queste equivalenze?

"valeria1":

$(p rArr q) hArr (~q rArr ~p) hArr (~p vv q)$

$p$	$q$	$p rArr q$
V	V	V
F	F	V
F	F	V

Ora alla colonna delle $q$ negante affianco la colonna delle $p$ negate

~q	~p	$~q rArr ~p$
F	V	V
F	F	V
V	V	V

Ora prova tu a fare l'ultima

P.S. Nel compilare la seconda tavola della verità ho fatto riferimento all'ordine delle righe della prima tavola, in tal modo l'equivalenze è immediata: nell'ultima colonna si hanno $V, F, V, V$