論理演算

出典: フリー百科事典『ウィキペディア（Wikipedia）』

論理演算（ろんりえんざん、logical operation, logical connection）あるいはブール演算（ブールえんざん、boolean operation）とは、真か偽かの2通りの元(真理値と呼ばれる)しか持たない集合（環の性質を満たすため、ブール環と呼ばれる）における演算である。

論理和（OR）・論理積（AND）・否定（NOT）・排他的論理和（XOR）・含意・同値などがある。

数学の論理学やプログラミング言語などで使われる。プログラミング言語などではビット演算とも言う。

[編集] 公式

論理和（OR）=、論理積（AND）=、否定（NOT）=とした場合、以下の法則が成り立つ。

• べき等則

• 交換則

• 結合則

• 分配則

• 吸収則

• ド・モルガンの法則

• その他

[編集] 関連項目

• カルノー図
• ド・モルガンの法則
• 真理値
• 数学
• 論理学
• プログラミング言語
• 論理回路
• ブール関数

論理演算

AND | OR | NOT | NAND | NOR | XOR