De Morgan's Laws (Logic)/Conjunction/Definition

Theorem
De Morgan's Law for Conjunction can be used as a definition for the logical operator that is conjunction:
 * $p \land q := \neg \left({\neg p \lor \neg q}\right)$

Historical Note
This definition appears in the introductory material of, and some other authors follow their lead.