論理演算
出典: フリー百科事典『ウィキペディア(Wikipedia)』
論理演算(ろんりえんざん、logical operation, logical connection)あるいはブール演算(ブールえんざん、boolean operation)とは、真か偽かの2通りの元(真理値と呼ばれる)しか持たない集合(環の性質を満たすため、ブール環と呼ばれる)における演算である。
論理和(OR)・論理積(AND)・否定(NOT)・排他的論理和(XOR)・含意・同値などがある。
数学の論理学やプログラミング言語などで使われる。プログラミング言語などではビット演算とも言う。
[編集] 公式
論理和(OR)=、論理積(AND)=、否定(NOT)=とした場合、以下の法則が成り立つ。
- べき等則
- 交換則
- 結合則
- 分配則
- 吸収則
- その他
[編集] 関連項目
論理演算 |
カテゴリ: 自然科学関連のスタブ項目 | 数理論理学 | 数学に関する記事