出典: 論理演算 『フリー百科事典 ウィキペディア日本語版(Wikipedia)』 最終更新 2017年10月12日 (木) 04:21 UTC、URL: https://ja.wikipedia.org/ 論理演算(ろんりえんざん、logical operation)は、論理式において、論理演算子などで表現される論理関数(ブール関数)を評価し(正確には、関数適用を評価し)、変数(変項)さらには論理式全体の値を求める演算である。非古典論理など他にも多くの論理の体系があるが、ここでは古典論理のうちの命題論理、特にそれを形式化したブール論理に話を絞る。従って対象がとる値は真理値の2値のみに限られる。また、その真理値の集合(真理値集合)と演算(演算子)はブール代数を構成する。コンピュータのプロセッサやプログラミング言語で多用されるものに、ブーリアン型を対象とした通常の論理演算の他に、ワード等のビット毎に論理演算を行なう演算があり、ビット演算という。なお、以上はモデル論的な議論であり、証明論的には、公理と推論規則に従って論理式を変形(書き換え)する演算がある(証明論#証明計算の種類)。 ・・・ |
出典: 論理積 『フリー百科事典 ウィキペディア日本語版(Wikipedia)』 最終更新 2018年6月5日 (火) 11:11 UTC、URL: https://ja.wikipedia.org/ 数理論理学において論理積(ろんりせき、英: logical conjunction)とは、与えられた複数の命題のいずれもが例外なく真であることを示す論理演算である。合接(ごうせつ)、連言(れんげん、れんごん)とも呼び、ANDとよく表す。 ・・・ |
出典: ANDゲート 『フリー百科事典 ウィキペディア日本語版(Wikipedia)』 最終更新 2016年11月22日 (火) 09:09 UTC、URL: https://ja.wikipedia.org/ ANDゲートは論理積の論理ゲートである。 [概要] 出力がHighとなるのは、ANDゲートの両方の入力がHighの場合のみである。ANDゲートの入力の一方のみがHighの場合やどちらもHighでない場合、出力はLowとなる。換言すれば、ANDゲートは2つの入力から最小値を求めるものである。逆にORゲートは最大値を求める。 ・・・ |
出典: ビット演算 『フリー百科事典 ウィキペディア日本語版(Wikipedia)』 最終更新 2017年4月9日 (日) 13:58 UTC、URL: https://ja.wikipedia.org/ ビット演算(ビットえんざん、bitwise operation: 直訳すると「ビット毎操作」)とは、固定長のワードなどといった「ビットのカタマリ」(コンピュータの数値表現なども参照)に対して、各のビット全てに対する論理演算をいっぺんに行う演算操作である。実装の観点からは、現在一般的な二進法(ディジタル)式の電子式コンピュータでは、加減算ではビットあたり数個程度の論理ゲートに加え多少複雑なキャリー伝搬の処理が、乗除算では多段に渡る処理が必要であるのに対し、ビット演算は1個か高々2個の論理ゲートで行えるため、多くの場合、最短サイクルしか必要としない。そのことから、高性能なプログラムを実現するための機械語コーディングではビット演算の使いこなしは重要なテクニックである。 ・・・ |
同義語・類義語 | 関連語・その他 |
---|---|
AND | OR演算回路 |
boolean operation | OR回路 |
logic operation | 論理和演算回路 |
logic operator | |
logical operation | |
NAND | |
NOR | |
NOT | |
OR | |
ORゲート | |
XOR | |
オア | |
ブーリアン演算 | |
排他的論理和 | |
否定 | |
否定論理積 | |
否定論理和 | |
論理演算 | |
論理演算子 | |
論理演算命令 | |
論理積 | |
論理和 | |
このページは書きかけのページです | 更新日:2022年 7月31日 |
同義語・類義語 | 関連語・その他 |
---|---|
AND | ANDゲート |
アンド | ・ |
AND operation | conjunction |
論理積 | kəndʒʌ́ŋkʃən |
AND演算 | カゥンジャンクシュン |
logical conjunction | カゥンジャ́ンクシュン |
lɑ́dʒikəl kəndʒʌ́ŋkʃən | コンジャンクション |
ラォジカゥルゥ カゥンジャンクシュン | コンジャ́ンクション |
ラォジカゥルゥ・カゥンジャンクシュン | [名詞] |
ラォ́ジカゥルゥ・カゥンジャ́ンクシュン | 結合 |
ロジカル コンジャンクション | 接続 |
ロジカル・コンジャンクション | 論理積 |
ロ́ジカル・コンジャ́ンクション | 接続詞 |
論理積演算 | |
更新日:2024年 5月18日 |
同義語・類義語 | 関連語・その他 |
---|---|
ANDゲート | AND |
AND gate | and |
ənd géit | ənd |
アェンドゥ ゲイツゥ | アェンドゥ |
アェンドゥ・ゲイツゥ | アンド |
エァンドゥ・ゲ́イツゥ | [接続詞] |
アンド ゲート | ~と... |
アンド・ゲート | ...と同時に |
アンド・ゲ́ート | ~かつ... |
AND演算回路 | [名詞] |
AND回路 | AND回路 |
アンド回路 | ANDゲート |
アンド かいろ | 論理積 |
論理積演算回路 | ろんりせき |
論理積回路 | [動詞] |
ろんりせき かいろ | ANDをとる |
論理積をとる | |
更新日:2024年 4月12日 |
同義語・類義語 | 関連語・その他 |
---|---|
bitwise operation | AND演算 |
ビットえんざん | OR演算 |
ビット演算 | XOR演算 |
ビット毎操作 | 排他的論理和 |
論理積 | |
論理和 | |
このページは書きかけのページです | 更新日: |