論理演算

論理演算（ろんりえんざん、logical operation, logical connection）あるいはブール演算（ブールえんざん、boolean operation）とは、「真」と「偽」の二つの元（真理値と呼ばれる）だけを持つ集合における演算である。（これらの演算によって上記の集合は環となり、ブール環と呼ばれる）