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