Statement
Construct the truth table of and identify which connective it corresponds to.
Solution
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}$$ The formula is true exactly when $p$ and $q$ have the **same** truth value: it corresponds to the **biconditional** $\boxed{p\Leftrightarrow q}$.
Links
Topics: Set theory
Concepts: Logical connectives · Truth table
Skills: Reasoning by cases
Exercise type: True or false