A joined property of the statements \(P\) and \(Q\), read

	“\(P\) excludes \(Q\)”,
or	“\(P\) precludes \(Q\)”,
or	“\(P\) contradicts \(Q\)”,

if and only if

at most one of \(P\) and \(Q\) is true,

which is equivalent to

\begin{equation*} \lnot (P \land Q) \end{equation*}

being a tautology.

---

• Compared to exclusive disjunction
• Conjunctive normal form
• Synonyms
• Explore