ブラウザよりも高速アクセス！
28 関係: ANDゲート、加算器、否定、否定論理積、中置記法、マスク (情報工学)、ブール代数、ブール論理、ブール関数、ド・モルガンの法則、ダイアクリティカルマーク、ベン図、命題、C言語、短絡評価、真理値、真理値表、論理和、論理回路、論理演算、連言標準形、JIS X 0213、Perl、Unicode、VBScript、校正、文字参照、数理論理学。
ANDゲート
ANDゲートは論理積の論理ゲートである。.
新しい！!: 論理積とANDゲート · 続きを見る »
加算器
加算器（かさんき、Adder）とは、加算を行う演算装置である。この記事ではデジタル回路によるものについて説明する。アナログ回路による加算回路の一例はオペアンプ#加算回路（電圧によるもの。他に電流の加算もある）を参照。.
否定
数理論理学において否定 (ひてい、Negation) とは、命題の真と偽を反転する論理演算である。否定は英語で Not であるが、Invert とも言われ論理演算ではインバージョン（Inversion）、論理回路では Not回路やインバータ回路（Inverter）とも呼ばれ入力に対して出力が反転する。 命題 P に対する否定を ¬P, P, !P などと書いて、「P でない」とか「P の否定」、「P 以外の場合」などと読む。 ベン図による論理否定（NOT）.
否定論理積
否定論理積（ひていろんりせき）とは、与えられた複数の命題のうちに偽であるものが含まれることを示す論理演算である。NANDと表記される。別の表記法として、Henry M. Shefferが1913年に導入したシェファーの棒記号（Sheffer stroke、記号 "|" で表す）や矢印の「↑」を用いる表記法もある。.
中置記法
中置記法（ちゅうちきほう、infix notation）とは、数式やプログラムを記述する方法（記法）の一種。演算子を操作対象の中間に記述することから、このように呼ばれる。 その他の記法として、演算子を操作対象の前（左）に記述する前置記法（ポーランド記法）、演算子を操作対象の後（右）に記述する後置記法（逆ポーランド記法）がある。 四則演算など初歩的な算術においては、もっぱら中置記法が多用されている。.
マスク (情報工学)
ンピュータでの演算でマスク（英: mask）とは、ビット演算と呼ぶビット単位の操作を行う処理である。ビットマスク (bit mask) とも。 マスクを使用すると、バイト、ニブル、ワードなどの複数のビットを同時にオンやオフにしたり、ビット単位にオン/オフを反転させたり､また特定のビットの状態を知ることができる。注目するビットを操作し、それ以外のビットを操作対象外として覆うことから、顔の口に当てる「マスク」などのようにマスクと呼ぶ。 むしろそのように「使用すると何かができる」ということよりも、「使用しなければならない」という場合のほうが多い。一般に、ほとんどのコンピュータの命令セットは、レジスタの一部のビットのみ、あるいは、メモリの一部のビットのみを操作する、というような命令を持たない（少ないが、持っているものもある）。なので、レジスタやメモリ中の一部のビットのみを操作したい、という場合は、ビットマスクで論理ビット演算（bitwise operation）を行わねばならないのである。メモリが対象の場合は、さらに「リード・モディファイ・ライト」が必要な場合も多い。.
新しい！!: 論理積とマスク (情報工学) · 続きを見る »
ブール代数
ブール代数（ブールだいすう、boolean algebra）またはブール束（ブールそく、boolean lattice）とは、ジョージ・ブールが19世紀中頃に考案した代数系の一つである。ブール代数の研究は束の理論が築かれるひとつの契機ともなった。ブール論理の演算はブール代数の一例であり、現実の応用例としては、組み合わせ回路（論理回路#組み合わせ回路）はブール代数の式で表現できる。.
ブール論理
ブール論理（ブールろんり、Boolean logic）は、古典論理のひとつで、その名称はブール代数ないしその形式化を示したジョージ・ブールに由来する。 リレーなどによる「スイッチング回路の理論」として1930年代に再発見され（論理回路#歴史を参照）、間もなくコンピュータに不可欠な理論として広まり、こんにちでは一般的に使われている。 本項目では、集合代数を用いて、集合、ブール演算、ベン図、真理値表などの基本的解説とブール論理の応用について解説する。ブール代数の記事ではブール論理の公理を満足する代数的構造の型を説明している。ブール論理はブール代数で形式化され2値の意味論を与えられた命題論理とみることができる。.
ブール関数
ブール関数（ブールかんすう、Boolean function）は、非負整数 k 個のブール領域 B.
ド・モルガンの法則
ド・モルガンの法則（ド・モルガンのほうそく、De Morgan の法則）は、ブール論理や集合の代数学において、論理和と論理積と否定（集合のことばでは、共通部分と合併と補集合）の間に成り立つ規則性である。名前は数学者オーガスタス・ド・モルガン（1806–1871）にちなむ。 この関係性は（論理のことばで言うと）「真と偽を入替え、論理和を論理積を入替えた論理体系」は、元の論理体系と同一視できる、ということであるので、ド・モルガンの双対性（英: De Morgan's duality）と呼ばれることもある。.
新しい！!: 論理積とド・モルガンの法則 · 続きを見る »
ダイアクリティカルマーク
ダイアクリティカルマーク（）または発音区別符号（はつおんくべつふごう）は、ラテン文字等の文字で、同じ字形の文字であるが、発音が区別されるべき場合に文字に付される記号のこと。あえて日本語の文字で似た概念を探せば、濁点と半濁点に相当するであろう。満州文字における圏点もこれに類似したものといえる。.
新しい！!: 論理積とダイアクリティカルマーク · 続きを見る »
ベン図
ベン図が描かれたステンドグラス ベン図（ベンず、もしくはヴェン図、Venn diagram）とは、複数の集合の関係や、集合の範囲を視覚的に図式化したものである。イギリスの数学者ジョン・ベン (John Venn) によって考え出された。ベンにゆかりの深いケンブリッジ大学のゴンヴィル・アンド・キーズ・カレッジには、ベン図を描いたステンドグラスがある。.
命題
命題（めいだい、proposition）とは、論理学において判断を言語で表したもので、真または偽という性質をもつもの。また数学で、真偽の判断の対象となる文章または式。定理または問題のこと。西周による訳語の一つ。 厳密な意味での命題の存在は、「意味」の存在と同様に、疑問を投げかける哲学者もいる。また、「意味」の概念が許容される場合にあっても、その本質は何であるかということにはなお議論のあるところである。古い文献では、語の集まりあるいはその語の集まりの表す「意味」という意味で命題という術語を用いているかどうかということが、つねに十分に明らかにされているわけではなかった。 現在では、論争や存在論的な含みを持つことを避けるため、ある解釈の下で（真か偽のいずれであるかという）真理の担い手となる記号列自体について述べる時は、「命題」という代わりに「文 (sentence)」という術語を用いる。ストローソンは「言明 ("statement")」 という術語を用いることを提唱した。.
C言語
C言語（シーげんご）は、1972年にAT&Tベル研究所のデニス・リッチーが主体となって開発したプログラミング言語である。英語圏では単に C と呼んでおり、日本でも文書や文脈によっては同様に C と呼ぶことがある。.
短絡評価
短絡評価（たんらくひょうか、short-circuit evaluation）または最小評価（さいしょうひょうか、minimal evaluation）とは、多くのコンピュータプログラミング言語の論理演算子における左辺（第一引数）と右辺（第二引数）の式の評価法の評価法を（意味、意味論を）表す語である。.
真理値
真理値 (しんりち、truth value) は、命題論理などの命題の真偽を示す値である。英語のTrueとFalseから、真に対してT、偽に対してFという記号をあてることもある。論理値 (logical value) も同じ。真と偽という値をとることから真偽値ともいうが、非古典論理などで多値論理における「真らしさ」の値も（真と偽以外の値にもなる）真理値である。 コンピュータプログラミング言語などのデータ型では、真理値のような型として真理値型（真偽値型、ブーリアン型などとも）があるものがある。関係演算子の結果などがブーリアン型であり、さらに論理演算子などで組み合わせることができ、それをif文などの制御構造や、条件演算子などで使用できる。.
真理値表
真理値表（しんりちひょう、Truth table）は、論理関数の、入力の全てのパターンとそれに対する結果の値を、表にしたものである。 例1：命題Pの否定「\lnot P」の場合、以下のような真理値表になる。 例2：2つの命題P,Qの論理和「P \lor Q」の場合、以下のような真理値表になる。 例3：2つの命題P,Qの論理積「P \land Q」の場合、以下のような真理値表になる。 なお、この表では「真」「偽」として表記してあるが、「T(.
論理和
''P'' ∨ ''Q'' のベン図による表現 数理論理学において論理和（ろんりわ、Logical disjunction）とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す論理演算である。離接（りせつ）、選言（せんげん）とも呼び、ORとよく表す。 二つの命題 P, Q に対する論理和を P ∨ Q と書き、「P または Q」と読む。後述のように、日常会話における「または」とは意味が異なる。.
論理回路
論理回路（ろんりかいろ、logic circuit）は、論理演算を行う電気回路及び電子回路である。真理値の「真」と「偽」、あるいは二進法の「0」と「1」を、電圧の正負や高低、電流の方向や多少、位相の差異、パルスなどの時間の長短、などで表現し、論理素子などで論理演算を実装する。電圧の高低で表現する場合それぞれを「」「」等という。基本的な演算を実装する論理ゲートがあり、それらを組み合わせて複雑な動作をする回路を構成する。状態を持たない組み合わせ回路と状態を持つ順序回路に分けられる。論理演算の結果には、「真」、「偽」の他に「不定」がある。ラッチ回路のdon't care, フリップフロップ回路の禁止が相当する。 ここでの論理は離散(digital)であるためディジタル回路を用いる。論理演算を行うアナログ回路、「アナログ論理」を扱う回路（どちらも「アナログ論理回路」）もある。 多値論理回路も量子コンピュータで注目されている。 電気（電子）的でないもの（たとえば流体素子や光コンピューティングを参照）もある。 以下では離散なデジタル回路を扱う。.
論理演算
論理演算（ろんりえんざん、logical operation）は、論理式において、論理演算子などで表現される論理関数（ブール関数）を評価し（正確には、関数適用を評価し）、変数（変項）さらには論理式全体の値を求める演算である。 非古典論理など他にも多くの論理の体系があるが、ここでは古典論理のうちの命題論理、特にそれを形式化したブール論理に話を絞る。従って対象がとる値は真理値の2値のみに限られる。また、その真理値の集合（真理値集合）と演算（演算子）はブール代数を構成する。 コンピュータのプロセッサやプログラミング言語で多用されるものに、ブーリアン型を対象とした通常の論理演算の他に、ワード等のビット毎に論理演算を行なう演算があり、ビット演算という。 なお、以上はモデル論的な議論であり、証明論的には、公理と推論規則に従って論理式を変形（書き換え）する演算がある（証明論#証明計算の種類）。.
連言標準形
連言標準形（れんげんひょうじゅんけい、Conjunctive normal form, CNF）は、数理論理学においてブール論理における論理式の標準化（正規化）の一種であり、選言節の連言の形式で論理式を表す。乗法標準形、主乗法標準形、和積標準形とも呼ぶ。正規形としては、自動定理証明で利用されている。.
JIS X 0213
JIS X 0213（ジス X 0213）はJIS X 0208:1997を拡張した、日本語用の符号化文字集合を規定する日本工業規格 (JIS) である。規格名称は「7ビット及び8ビットの2バイト情報交換用符号化拡張漢字集合」である。 2000年に制定、2004年、2012年に改正された。2000年に制定されたJIS X 0213:2000は通称「JIS2000」と呼ばれている。2004年に改正されたJIS X 0213:2004は通称「JIS2004」と呼ばれている。 JIS X 0208を拡張した規格で、JIS X 0208が規定する6879字の図形文字の集合に対して、日本語の文字コードで運用する必要性の高い4354字が追加され、計1万1233字の図形文字を規定する。JIS X 0208を拡張する点においてJIS X 0212:1990と同目的であるが、JIS X 0212とJIS X 0213との間に互換性はない。JIS X 0212がJIS X 0208にない文字を集めた文字集合であるのに対し、JIS X 0213はJIS X 0208を包含し更に第三・第四水準漢字などを加えた上位集合である。.
新しい！!: 論理積とJIS X 0213 · 続きを見る »
Perl
Perl（パール）とは、ラリー・ウォールによって開発されたプログラミング言語である。実用性と多様性を重視しており、C言語やsed、awk、シェルスクリプトなど他のプログラミング言語の優れた機能を取り入れている。ウェブ・アプリケーション、システム管理、テキスト処理などのプログラムを書くのに広く用いられている。 言語処理系としてのperlはフリーソフトウェアである。Artistic LicenseおよびGPLのもとで配布されており、誰でもどちらかのライセンスを選択して利用することができる。UNIXやWindowsなど多くのプラットフォーム上で動作する。.
Unicode
200px Unicode（ユニコード）は、符号化文字集合や文字符号化方式などを定めた、文字コードの業界規格である。文字集合（文字セット）が単一の大規模文字セットであること（「Uni」という名はそれに由来する）などが特徴である。 1980年代に、Starワークステーションの日本語化 (J-Star) などを行ったゼロックス社が提唱し、マイクロソフト、アップル、IBM、サン・マイクロシステムズ、ヒューレット・パッカード、ジャストシステムなどが参加するユニコードコンソーシアムにより作られた。1993年に、国際標準との一致が図られ、DIS 10646の当初案から大幅に変更されて、Unicodeと概ね相違点のいくつかはDIS 10646に由来する互換のISO/IEC 10646が制定された。.
新しい！!: 論理積とUnicode · 続きを見る »
VBScript
VBScript（ブイ・ビー・スクリプト）、Microsoft Visual Basic Scripting Edition は、Visual Basic 風の、マイクロソフトによるスクリプト言語である。Microsoft Windows 上や Internet Information Server（IIS）上で動作する。.
新しい！!: 論理積とVBScript · 続きを見る »
校正
校正（こうせい、）は、印刷物等の字句や内容、体裁、色彩の誤りや不具合を、あらかじめ修正すること。校合（きょうごう）ともいう。 出版にあたっては、印刷に先立って仮刷りを行い、それと原稿の内容を突き合わせ、誤植や体裁上の不備を正す。文字や数字ばかりでなく、デザインや発色の確認も行い、特に発色の確認を行う校正を色校正（色校）という。 かつて「校正」の語は古典作品の写本（原文が存在している場合は原文）と別の写本（異本）を照合する「校訂」の意味でも使われた。 なお、修正後の原稿を二校と呼ぶことがあるが、二稿という語は誤りであるので注意を要する。.
文字参照
文字参照（もじさんしょう、character reference）とはHTMLなどのSGML文書においては、直接記述できない文字や記号（マークアップで使われる、半角の不等号「<」や「>」など）を表記する際に用いられる方法である。SGML構成素のひとつとして定義されており、文書文字集合中の文字を参照する為の手段を提供する。HTMLにおける文字参照には、表記方法により数値文字参照と文字実体参照の二種が存在する。XMLにおいては、HTMLにおける「数値文字参照」を「文字参照」と呼ぶ。なおHTMLにおける「文字実体参照」は、XMLでは実体参照と呼び区別する。.
数理論理学
数理論理学（mathematische Logik、mathematical logic）は、論理学（形式論理学）の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする、数学の関連分野である。局所的には数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。数理論理学の共通な課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学（とくに）における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。 この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、算術、解析学に対する公理的な枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか（逆数学のように）ということに焦点を当てている。.
