記号論理学の定義に従って論理式を演算し、推論・判断などの命題の真偽を求めること。

四則演算 以外の、論理積・論理和・否定などを求める演算。

論理計算。命題算。ブール代数の基本演算なので、ブール演算またはブーリアン演算ともいう。

論理演算には、論理積（AND）、論理和（OR）、排他的論理和（XOR）があり、いずれの演算結果も必ず真、または、偽になる。

また、演算には、否定（NOT）もあり、それぞれ、否定論理積（NAND）、否定論理和（NOR）、排他的論理和の否定（XNOR）となる。

なお、論理演算の入出力の結果を表す真理値表というものもある。

論理演算は、プログラミングの基本であるとされている。

logical operation ; logical connection ; logical connective

ブール演算（boolean operation）

マスク (情報工学)

数学 - 数理論理学

ブール関数 - ブール代数

ベン図 - オイラー図