論理積
数理論理学において論理積(ろんりせき、英: logical conjunction)とは、与えられた複数の命題のいずれもが例外なく真であることを示す論理演算である。合接(ごうせつ)、連言(れんげん、れんごん)とも呼び、ANDとよく表す。
二つの命題 P, Q に対する論理積を P ∧ Q と書き、「P かつ Q」や「P そして Q」などと読む。また P ∧ Q の形をした命題を連言命題(conjunctive proposition)、その中に現れる命題 P や Q を連言肢(conjunct)という[1]。
![](http://up.wiki.x.io/wikipedia/commons/7/7b/Venn-Diagram-AND.png)
論理積 の表現
例
編集- 「私の身長は 160 cm 以上である」
- 「私の体重は 50 kg 以上である」
の二つの命題の論理積は、
- 「私の身長は 160 cm 以上であり、かつ私の体重は 50 kg 以上である」
性質
編集論理積は、否定と論理和を用いて表すことができる(ド・モルガンの法則)。
- P ∧ Q = ¬(¬P ∨ ¬Q)
逆に、否定と論理積を用いて論理和を表すこともできる。
- P ∨ Q = ¬(¬P ∧ ¬Q)
真理値表
編集論理積の真理値表
命題 P | 命題 Q | P ∧ Q |
---|---|---|
真 | 真 | 真 |
真 | 偽 | 偽 |
偽 | 真 | 偽 |
偽 | 偽 | 偽 |
表記法
編集論理学
編集を使用して と書く。
電子工学
編集記号を使用して と書く。論理回路のページを参照。
プログラミング言語
編集z = x & y;
$z = $x & $y;
のように使用される。
単なる論理積は&&
で表され
if (x==0 && y==0) ;
のように使用される。
VBScriptではAnd
で表され、
z = x And y
のように使用される。
Lispでは
(and x y)
だが、さらに可変長で
(and x0 x1 ...)
のように記述できる。
各プログラミング言語における論理積の表記と意味は、短絡評価とも密接な関係がある。
関連項目
編集符号位置
編集記号 | Unicode | JIS X 0213 | 文字参照 | 名称 |
---|---|---|---|---|
∧ | U+2227 |
- |
∧ ∧ ∧ |
論理積 |