論理積

数理論理学において論理積（ろんりせき、）とは、与えられた複数の命題のいずれもが例外なく真であることを示す論理演算である。合接（ごうせつ）、連言（れんげん、れんごん）とも呼び、ANDとよく表す。
二つの命題 "P", "Q" に対する論理積を "P" ∧ "Q" と書き、「"P" かつ "Q"」や「"P" そして "Q"」などと読む。
例.
の二つの命題の論理積は、
性質.
論理積は、否定と論理和を用いて表すことができる（ド・モルガンの法則）。
逆に、否定と論理積を用いて論理和を表すこともできる。
真理値表.
論理積の真理値表
表記法.
論理学.
formula_1を使用して formula_2 と書く。
電子工学.
　formula_3　記号を使用して formula_4 と書く。論理回路のページを参照。
プログラミング言語.
C言語やPerlなどでは、ビット単位の論理積はcodice_1で表され、
のように使用される。
単なる論理積はcodice_4で表され
のように使用される。
VBScriptではcodice_6で表され、
のように使用される。
Lispでは
だが、さらに可変長で
のように記述できる。
各プログラミング言語における論理積の表記と意味は、短絡評価とも密接な関係がある。