本文へスキップ

パステムは、桐の業務システム開発を支援しています

ICT用語同義語辞典COMPANY


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

論理演算(ろんりえんざん、logical operation)は、論理式において、論理演算子などで表現される論理関数(ブール関数)を評価し(正確には、関数適用を評価し)、変数(変項)さらには論理式全体の値を求める演算である。非古典論理など他にも多くの論理の体系があるが、ここでは古典論理のうちの命題論理、特にそれを形式化したブール論理に話を絞る。従って対象がとる値は真理値の2値のみに限られる。また、その真理値の集合(真理値集合)と演算(演算子)はブール代数を構成する。コンピュータのプロセッサやプログラミング言語で多用されるものに、ブーリアン型を対象とした通常の論理演算の他に、ワード等のビット毎に論理演算を行なう演算があり、ビット演算という。なお、以上はモデル論的な議論であり、証明論的には、公理と推論規則に従って論理式を変形(書き換え)する演算がある(証明論#証明計算の種類)。 ・・・
出典: 論理和 『フリー百科事典 ウィキペディア日本語版(Wikipedia)』 最終更新 2016年12月25日 (日) 03:49 UTC、URL: https://ja.wikipedia.org/

数理論理学において論理和(ろんりわ、英語: Logical disjunction)とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す論理演算である。離接(りせつ)、選言(せんげん)とも呼び、ORとよく表す。二つの命題 P, Q に対する論理和を P ∨ Q と書き、「P または Q」と読む。後述のように、日常会話における「または」とは意味が異なる。 ・・・

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





































更新日:2022年 7月31日


【オアの同義語と関連語 】
< 2 >
同義語・類義語 関連語・その他
Logical disjunction
logical sum operation
OR
OR operation
ORゲート
OR演算
OR演算回路
OR回路
オア
選言
せんげん
離接
りせつ
論理和
論理和演算
ろんりわえんざん
論理和演算回路















































更新日:2023年 6月27日


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