論理積
出典: フリー百科事典『ウィキペディア（Wikipedia）』
数理論理学において論理積（ろんりせき）とは、与えられた複数の命題のいずれもが例外なく真であることを示す論理演算である。合接（ごうせつ）、連言（れんげん、れんごん）とも呼び、ANDとよく表す。
二つの命題 P, Q に対する論理積を P ∧ Q と書き、「P かつ Q」や「P そして Q」などと読む。 
目次 |
[編集] 例
- 「私の身長は 160 cm 以上である」
- 「私の体重は 50 kg 以上である」
の二つの命題の論理積は、
- 「私の身長は 160 cm 以上であり、かつ私の体重は 50 kg 以上である」
[編集] 性質
論理積は、否定と論理和を用いて表すことができる（ド・モルガンの法則）。
- P ∧ Q = ¬(¬P ∨ ¬Q)
逆に、否定と論理積を用いて論理和を表すこともできる。
- P ∨ Q = ¬(¬P ∧ ¬Q)
[編集] 真理値表
| 命題 P | 命題 Q | P ∧ Q |
|---|---|---|
| 真 | 真 | 真 |
| 真 | 偽 | 偽 |
| 偽 | 真 | 偽 |
| 偽 | 偽 | 偽 |
[編集] プログラミング言語
C言語などでは、「&」 で表され、
- z = x & y;
のように使用される。
VBScriptでは、「And」で表され、
- z = x And y
のように使用される。
Perlでは、「and」で表され、
- $c = $a and $b;
のように使用される。
[編集] 関連項目
- 否定論理積(NAND)
|
|||||
