Testo
Costruisci la tavola di verità di e riconosci a quale connettivo corrisponde.
Soluzione
p & q & p\land q & \lnot p\land\lnot q & (p\land q)\lor(\lnot p\land\lnot q) \\ \hline V & V & V & F & V \\ V & F & F & F & F \\ F & V & F & F & F \\ F & F & F & V & V \end{array}$$ La formula è vera esattamente quando $p$ e $q$ hanno lo **stesso** valore di verità: corrisponde alla **doppia implicazione** $\boxed{p\Leftrightarrow q}$.
Collegamenti
Argomenti: Teoria degli insiemi
Concetti: Connettivi logici · Tavola di verita
Competenze: Ragionare per casi
Tipo di esercizio: Vero o falso