ブール関数と論理積

ショートカット: 違い、類似点、ジャカード類似性係数、参考文献。

ブール関数と論理積の違い

ブール関数 vs. 論理積

ブール関数（ブールかんすう、Boolean function）は、非負整数 k 個のブール領域 B. 数理論理学において論理積（ろんりせき、logical conjunction）とは、与えられた複数の命題のいずれもが例外なく真であることを示す論理演算である。合接（ごうせつ）、連言（れんげん、れんごん）とも呼び、ANDとよく表す。 二つの命題 P, Q に対する論理積を P ∧ Q と書き、「P かつ Q」や「P そして Q」などと読む。 ベン図による論理積P \wedge Q の表.

ブール代数

ブール代数（ブールだいすう、boolean algebra）またはブール束（ブールそく、boolean lattice）とは、ジョージ・ブールが19世紀中頃に考案した代数系の一つである。ブール代数の研究は束の理論が築かれるひとつの契機ともなった。ブール論理の演算はブール代数の一例であり、現実の応用例としては、組み合わせ回路（論理回路#組み合わせ回路）はブール代数の式で表現できる。.

ブール代数とブール関数 · ブール代数と論理積 · 続きを見る »

ブール論理

ブール論理（ブールろんり、Boolean logic）は、古典論理のひとつで、その名称はブール代数ないしその形式化を示したジョージ・ブールに由来する。 リレーなどによる「スイッチング回路の理論」として1930年代に再発見され（論理回路#歴史を参照）、間もなくコンピュータに不可欠な理論として広まり、こんにちでは一般的に使われている。 本項目では、集合代数を用いて、集合、ブール演算、ベン図、真理値表などの基本的解説とブール論理の応用について解説する。ブール代数の記事ではブール論理の公理を満足する代数的構造の型を説明している。ブール論理はブール代数で形式化され2値の意味論を与えられた命題論理とみることができる。.

ブール論理とブール関数 · ブール論理と論理積 · 続きを見る »

ベン図

ベン図が描かれたステンドグラス ベン図（ベンず、もしくはヴェン図、Venn diagram）とは、複数の集合の関係や、集合の範囲を視覚的に図式化したものである。イギリスの数学者ジョン・ベン (John Venn) によって考え出された。ベンにゆかりの深いケンブリッジ大学のゴンヴィル・アンド・キーズ・カレッジには、ベン図を描いたステンドグラスがある。.

ブール関数とベン図 · ベン図と論理積 · 続きを見る »

連言標準形

連言標準形（れんげんひょうじゅんけい、Conjunctive normal form, CNF）は、数理論理学においてブール論理における論理式の標準化（正規化）の一種であり、選言節の連言の形式で論理式を表す。乗法標準形、主乗法標準形、和積標準形とも呼ぶ。正規形としては、自動定理証明で利用されている。.

ブール関数と連言標準形 · 論理積と連言標準形 · 続きを見る »