Tavola delle vertà

[VALE0]

buongiorno a tutti, devo svolgere questa tavola della verità: $ ((p^c)Lambda p)^cV(p)hArr (q)^cVp $
io ho ragionato con de morgan : $ ((p)^c)^c V (q)^c $ hArr $ (q)^cVp $.
$pV(q)^c $ per la proprietà commutativa ho $ (q)^c V p$.
con la tavola della verità non so proprio come fare spero in un vostro aiuto grazie mille

[@melia]

Correggi il testo, nella prima ipotesi hai messo tutte $p$, manca la $q$.
Per la tavola di verità devi costruire una tabella con le 4 possibilità di $p$ e $q$, entrambe vere, la prima vera e la seconda falsa, la prima falsa e la seconda vera, entrambe false. Poi devi eseguire una alla volta tutte le operazioni e segnare la verità o falsità del risultato.