論理演算（ろんりえんざん、logical operation, logical connection）あるいはブール演算（ブールえんざん、boolean operation）とは、「真」と「偽」の二つの元（真理値と呼ばれる）だけを持つ集合における演算である。（これらの演算によって上記の集合は環となり、ブール環と呼ばれる）否定（NOT）・論理和（OR）・論理積（AND）・排他的論理和（XOR）・含意・同値などがある。コンピュータプログラミング言語では通常の論理演算のほか、数値のビット毎に論理演算を行なう演算があり、これは特にビット演算という。論理（論理学）でも使われるが、非古典論理では多値論理もあるので、真理値の集合の大きさが2よりも大きいこともある。論理演算には、一つの入力の演算（否定（NOT））と、二つの入力の演算（→#論理結合子）とがある。それ以上の数の入力はこれらの演算を組み合わせて演算する。二つの入力の論理演算の全ては否定（NOT）・論理和（OR）・論理積（AND）の演算を組み合わせて演算できることから、これら三つの演算は論理演算の基礎とされている。これら三つの演算もなお、否定論理和(NOR)あるいは否定論理積(NAND)のどちらか一方を複数用いることで演算できる。その場合、二つの入力に同じ値を入力することで否定(NOT)を演算し、またド・モルガンの法則を用いて論理和と論理積とを交換することで論理和と論理積を演算する。二つの二値入力 "P"、"Q" に対し、以下の16種類の論理演算がある。論理和 (OR) = formula_1、論理積 (AND) = formula_2、否定 (NOT) = formula_3とした場合、以下の法則が成り立つ。formula_4formula_5formula_6formula_7formula_8formula_9formula_10

出典:wikipedia