数理論理学において論理積(ろんりせき、)とは、与えられた複数の命題のいずれもが例外なく真であることを示す論理演算である。合接(ごうせつ)、連言(れんげん、れんごん)とも呼び、ANDとよく表す。
二つの命題 P, Q に対する論理積を P ∧ Q と書き、「P かつ Q」や「P そして Q」などと読む。また P ∧ Q の形をした命題を連言命題()、その中に現れる命題 P や Q を連言肢()という。
thumb|ベン図による論理積 の表現
例 「私の身長は 160 cm 以上である」 「私の体重は 50 kg 以上である」 の二つの命題の論理積は、 「私の身長は 160 cm 以上であり、かつ私の体重は 50 kg 以上である」
性質 論理積は、否定と論理和を用いて表すことができる(ド・モルガンの法則)。 P ∧ Q = ¬(¬P ∨ ¬Q) 逆に、否定と論理積を用いて論理和を表すこともできる。 P ∨ Q = ¬(¬P ∧ ¬Q)
真理値表 論理積の真理値表 命題 P 命題 Q P ∧ Q
表記法
論理学 を使用して と書く。
電子工学 記号を使用して と書く。論理回路のページを参照。
プログラミング言語 C言語やPerlなどでは、ビット単位(ビット演算)の論理積は&で表され、 z = x & y; $z = $x & $y;
のように使用される。
真理値の論理積は&&で表され if (x==0 && y==0) ;
のように使用される。
VBScriptではAndで表され、 z = x And y
のように使用される。
Lispでは (and x y) だが、さらに可変長で (and x0 x1 ...) のように記述できる。
各プログラミング言語における真理値の論理積の表記と意味は、短絡評価とも密接な関係がある。
関連項目 論理和 ANDゲート 否定論理積 (NAND) 真理値 真理値表 ブール代数 ブール論理 ブール関数 ベン図 連言標準形 論理回路 加算器 マスク (情報工学)
符号位置 記号UnicodeJIS X 0213文字参照名称
注釈