Costruire la tabella di verità della seguente implicazione logica:

[math] ( p ∧ q ) \to ( p ∨ \bar{q}) [/math]

Svolgimento

Per quanto riguarda l'implicazione ricordiamo che l'enunciato risulterà falso solo nel caso in cui
[math]p[/math]
sia vero e
[math]q[/math]
sia falso, mentre è vero in tutti gli altri casi.

Per comodità costruiamo prima le tabelle delle due parti dell'enunciato:

tabella_di_verità

tabella_di_verità

Ora la tabella generale:

tabella_di_verità

Domande e risposte

Hai bisogno di aiuto?
Chiedi alla community