Costruire la tabella di verità della seguente funzione logica : $ p ∨ ( p ∧ \bar{q}) $
Svolgimento
Consideriamo che sia $p$ che $q$ possono essere veri o falsi e prendiamo in analisi i vari casi.
Ricordiamo che $\bar{q}$ è la negazione di $q$ .
In presenza della disgiunzione logica ( $∨$ ) l’enunciato è vero se almeno uno dei due enunciati è vero, mentre è falso se entrambi sono falsi; in caso di congiunzione dei due enunciati ( $∧$ ) l’enunciato è vero se $p$ e $q$ sono contemporaneamente veri, mentre è falso negli altri casi.
Costruiamo una tabella prendiamo prima in esame la seconda parte della formula, cioè $( p ∧ \bar{q}) $.
A questo punto possiamo risolvere l’intera formula: