論理演算
(詳細は英語版記事 en:Functional completeness を参照のこと)以上の演算のうち、ごく少数の種類の演算の組み合わせによって、任意の演算を「実装」することができる。そのような演算の組の性質を functional completeness という。∨ と ∧ だけでは完全ではなく、必ず ¬ も必要である。一方 ¬ があれば、∨ と ∧ はどちらか一方でも良い。さらに興味深いものとして、¬ と ∨ あるいは ∧ の組合せである、否定論理積(NAND)や否定論理和(NOR)は、それ一つだけで完全である。なお、→ の記号が使われることが多い「ならば」(imply、論理包含)は微妙な点があり(たとえば、演算子だけでなく定数入力を必要とする)、英語版Wikipediaの Implicational propositional calculus の記事(en:Implicational propositional calculus)では「virtual completeness」と表現している。