[[Proposition]] Laws about [[Logical Negation|Negating]] [[Disjunction]] and [[Conjunction]] statements, as well as the counterparts with [[Set|Sets]] about [[Intersection|Intersections]] and [[Union|Unions]]. $\huge \neg\pa{ p \wedge q} = \neg p \or \neg q$ $\huge \neg\pa{ p \or q} = \neg p \wedge \neg q$ $\huge \begin{align} \overline{A \cup B} &= \bar{A} \cap \bar{B}\\ \overline{A \cap B} &= \bar{A} \cup \bar{B}\\ \end{align}$