Japanese Dictionary - Look up vocabulary, translate Japanese

Vocabulary

Kanji

Example

Grammar

Japanese - Japanese

Detail word “論理否定演算”

Words related

論理演算

演算（演算子）はブール代数を構成する。コンピュータのプロセッサやプログラミング言語で多用されるものに、ブーリアン型を対象とした通常の論理演算の他に、ワード等のビット毎に論理演算を行なう演算があり、ビット演算という。なお、証明論的には、公理と推論規則に従って論理式を変形（書き換え）する演算がある（証明論#証明計算の種類）。

論理演算子

論理演算子（ろんりえんざんし、英: logical operator）は、コンピュータ・プログラミングや命題論理等における論理演算の演算子の総称である。多くのプログラミング言語では、論理積と論理和および否定のための演算子が用意されている。 C言語やその影響を受けた構文を持つ言語では、論理積の演算子に

否定論理積

否定論理積（ひていろんりせき）とは、与えられた複数の命題のうちに偽 (False)であるものが含まれることを示す論理演算である。NAND (Not AND; "ナンド"と読まれる)と表記される。別の表記法として、ヘンリー・シェファー（英語版）が1913年に導入したシェファーの棒記号（英: Sheffer

否定論理和

否定論理和（ひていろんりわ）とは、与えられた複数の命題の全てが偽であることを示す論理演算である。NORと表記される。矢印の「↓」を用いて"A ↓ B"とする表記方法もある。否定論理和（NOR）は否定論理積（NAND）と同様に完全性(万能性とも)を持ち、NORのみで任意の論理関数を表現することが出

計算理論

計算理論（けいさんりろん、Theory Of Computation）または計算論は、理論計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能性理論を含む。ここでいう計算（Computation）とは、数学的に表現できる、あらゆる種類の情報処理のこと。

演算

えんざん

計算すること。運算(ウンザン)。

「超スピードで～する」

否定

ひてい

(1)そうでないと打ち消すこと。いつわりであるとすること。

「うわさを～する」「献金の事実を～する」

(2)〔論〕提示された命題を偽であるとすること。また，弁証法においては，否定はあらゆる発展にみられる媒介とされる。

(3)命題「 p である」に対して命題「 p でない」をもとの命題の否定という。

(4)「打ち消し{(2)}」に同じ。

⇔ 肯定