Costruire la tabella di verità della seguente implicazione logica: $ ( p ∧ q ) to ( p ∨ \bar{q}) $
Svolgimento
Per quanto riguarda l’implicazione ricordiamo che l’enunciato risulterà falso solo nel caso in cui $p$ sia vero e $q$ sia falso, mentre è vero in tutti gli altri casi.
Per comodità costruiamo prima le tabelle delle due parti dell’enunciato:
Ora la tabella generale: