出典:デジタル大辞泉(小学館)

logical operationlogical connection記号論理学の定義に従って論理式を演算し、推論・判断などの命題の真偽を求めること。四則演算以外の、論理積論理和否定などを求める演算。論理計算。命題算。ブール代数の基本演算なので、ブール演算またはブーリアン演算ともいう。