【 「ブーリアン演算」又はそれに関連する用語の意味 】
出典: 論理演算 『フリー百科事典 ウィキペディア日本語版(Wikipedia)』 最終更新 2017年10月12日 (木) 04:21 UTC、URL: https://ja.wikipedia.org/
論理演算(ろんりえんざん、logical operation)は、論理式において、論理演算子などで表現される論理関数(ブール関数)を評価し(正確には、関数適用を評価し)、変数(変項)さらには論理式全体の値を求める演算である。非古典論理など他にも多くの論理の体系があるが、ここでは古典論理のうちの命題論理、特にそれを形式化したブール論理に話を絞る。従って対象がとる値は真理値の2値のみに限られる。また、その真理値の集合(真理値集合)と演算(演算子)はブール代数を構成する。コンピュータのプロセッサやプログラミング言語で多用されるものに、ブーリアン型を対象とした通常の論理演算の他に、ワード等のビット毎に論理演算を行なう演算があり、ビット演算という。なお、以上はモデル論的な議論であり、証明論的には、公理と推論規則に従って論理式を変形(書き換え)する演算がある(証明論#証明計算の種類)。 ・・・ |
【ブーリアン演算の同義語と関連語 】
< 1 >
同義語・類義語 |
関連語・その他 |
AND |
OR演算回路 |
boolean operation |
OR回路 |
logic operation |
論理和演算回路 |
logic operator |
|
logical operation |
|
NAND |
|
NOR |
|
NOT |
|
OR |
|
ORゲート |
|
XOR |
|
オア |
|
ブーリアン演算 |
|
排他的論理和 |
|
否定 |
|
否定論理積 |
|
否定論理和 |
|
論理演算 |
|
論理演算子 |
|
論理演算命令 |
|
論理積 |
|
論理和 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
更新日:2022年 7月31日 |