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]
.

tabella_di_verità

A questo punto possiamo risolvere l'intera formula:

tabella_di_verità

Domande e risposte

Hai bisogno di aiuto?
Chiedi alla community