論理和
P ∨ Q は否定と論理積を用いた ¬(¬P ∧ ¬Q) と同じである。従って、論理和は否定と論理積で表せる。
P ∨ Q ⇔ ¬(¬P ∧ ¬Q)
また、論理積は論理和と否定で表せる。
P ∧ Q ⇔ ¬(¬P ∨ ¬Q)
この二つをド・モルガンの法則という。