本文へスキップ

 


 

ICT用語の意味と同義語

【 「logical operation」又はそれに関連する用語の意味 】
出典: 論理演算 『フリー百科事典 ウィキペディア日本語版(Wikipedia)』 最終更新 2017年10月12日 (木) 04:21 UTC、URL: https://ja.wikipedia.org/

論理演算(ろんりえんざん、logical operation)は、論理式において、論理演算子などで表現される論理関数(ブール関数)を評価し(正確には、関数適用を評価し)、変数(変項)さらには論理式全体の値を求める演算である。非古典論理など他にも多くの論理の体系があるが、ここでは古典論理のうちの命題論理、特にそれを形式化したブール論理に話を絞る。従って対象がとる値は真理値の2値のみに限られる。また、その真理値の集合(真理値集合)と演算(演算子)はブール代数を構成する。コンピュータのプロセッサやプログラミング言語で多用されるものに、ブーリアン型を対象とした通常の論理演算の他に、ワード等のビット毎に論理演算を行なう演算があり、ビット演算という。なお、以上はモデル論的な議論であり、証明論的には、公理と推論規則に従って論理式を変形(書き換え)する演算がある(証明論#証明計算の種類)。 ・・・



【 他のICT用語辞典へ(外部リンク)】




【 logical operation の同義語と関連語 】
< 1 >
同義語・類義語 関連語・その他
AND OR演算回路
boolean operation OR回路
logic operation 論理和演算回路
logic operator
logical operation
NAND
NOR
NOT
OR
ORゲート
XOR
オア
ブーリアン演算
排他的論理和
否定
否定論理積
否定論理和
論理演算
論理演算子
論理演算命令
論理積
論理和




































このページは書きかけのページです 更新日:2022年 7月31日




ICT用語索引
記号 数字 A B C
D E F G H
I J K L M
N O P Q R
S T U V W
X Y Z

       
背景色薄緑は全用語編集完了
白は書きかけの用語を含んでいます
ICT用語辞典リンク集
ICT用語解説サイト120

バナースペース

     P A S T E M