ブーリアン展開
ブーリアン展開とは、ブーリアン演算を用いて論理和などを算出することである。ブーリアン演算とは、「真」と「偽」の二つの元(真理値と呼ばれる)だけを持つ集合における演算である。(これらの演算によって上記の集合は環となり、ブール環と呼ばれる) 演算結果は、否定(NOT)・論理和(OR)・論理積(AND)・排他的論理和(XOR)・含意・同値などがある。数理論理学やプログラミング言語などで使われる。
ブーリアン展開とは、ブーリアン演算を用いて論理和などを算出することである。ブーリアン演算とは、「真」と「偽」の二つの元(真理値と呼ばれる)だけを持つ集合における演算である。(これらの演算によって上記の集合は環となり、ブール環と呼ばれる) 演算結果は、否定(NOT)・論理和(OR)・論理積(AND)・排他的論理和(XOR)・含意・同値などがある。数理論理学やプログラミング言語などで使われる。