1 定義と基本性質
1.1 真理値表による定義
論理積（AND）は、二つの命題PとQの組み合わせに対して真偽値を返す二項演算である。真理値表では、PとQがともに真であるときにのみ結果が真となり、それ以外のすべての組み合わせ（真と偽、偽と真、偽と偽）では偽となる。この定義は、命題論理において最も基本的な真理関数の一つであり、他のすべての真理関数を構成する基礎となる。
1.2 ブール代数における位置づけ
ブール代数において、論理積は乗算（積）に対応する演算として位置づけられる。ブール代数の公理系では、論理積は論理和（OR）とともに分配則、吸収則、相補則などの基本法則を満たす。具体的には、論理積は0と1の二値代数において、1∧1=1、1∧0=0、0∧1=0、0∧0=0と定義され、これは通常の算術乗算と一致する。
1.3 結合則と交換則
論理積は結合則 (P∧Q)∧R = P∧(Q∧R) を満たし、三つ以上の命題を任意の順序で結合しても結果は変わらない。また、交換則 P∧Q = Q∧P も満たし、演算の順序に依存しない。さらに、冪等則 P∧P = P も成立し、同じ命題を繰り返し結合しても値は変化しない。これらの性質により、論理積は数学的構造として可換半群を形成する。
2 記法と表現
2.1 論理記号（∧）の歴史
論理積を表す記号「∧」は、19世紀後半にジュゼッペ・ペアノによって導入された。ペアノは論理演算を幾何学的記号で表現することを試み、論理積を「かつ」の意味を持つラテン語「et」の頭文字「e」を変形して現在の形にした。その後、バートランド・ラッセルとアルフレッド・ノース・ホワイトヘッドの『プリンキピア・マテマティカ』（1910-1913年）で広く使用され、現代の標準的な論理記号として定着した。
2.2 プログラミング言語における記法
2.2.1 C言語系（&&）
C言語およびその派生言語（C++、Java、C#、JavaScriptなど）では、論理積に二つのアンパサンド「&&」を使用する。これは短絡評価（ショートサーキット評価）を採用し、左辺が偽である時点で右辺を評価せずに偽を返す。この動作はプログラムの効率向上や、右辺の評価に副作用がある場合の制御に利用される。
2.2.2 Python（and）
Pythonでは予約語「and」を使用して論理積を表現する。Pythonの論理演算はブール値だけでなく、任意のオブジェクトに対して適用でき、返り値は最後に評価されたオブジェクト自身となる。短絡評価も同様に実装されており、左辺が偽と評価される場合、右辺は評価されない。
2.2.3 SQL（AND）
SQLでは予約語「AND」を使用し、大文字で記述することが慣例である。SQLのAND演算子はWHERE句などで複数の条件を結合するために使用され、すべての条件が真である行のみを結果として返す。SQLの論理演算は三値論理を採用し、NULL値の扱いに注意が必要である。
2.3 電子回路における記号
電子回路において、ANDゲートは標準的な図記号で表現される。米国規格（ANSI/IEEE Std 91-1984）では、左側に二つ以上の入力線を持ち、右側に一つの出力線を持つ半円形の記号で表される。国際規格（IEC 60617）では、矩形の中に「&」の記号を配置した記号が使用される。また、日本工業規格（JIS C 0617）でもIEC規格に準拠した記号が採用されている。
3 応用と実例
3.1 デジタル回路
3.1.1 ANDゲートの実装
ANDゲートは、トランジスタを用いた基本的な論理回路として実装される。CMOS技術では、直列接続された二つのN型MOSFETと並列接続された二つのP型MOSFETで構成されるNANDゲートの出力にインバータを接続する方法が一般的である。より単純な実装としては、ダイオード論理（DTL: Diode-Transistor Logic）によるANDゲートも存在し、歴史的に初期のコンピュータで使用された。
3.1.2 論理積を用いた加算器
半加算器は、二つの1ビット入力を加算する回路であり、XORゲートとANDゲートの組み合わせで構成される。ANDゲートは桁上げ（キャリー）信号の生成に使用され、両方の入力が1の場合にのみ1を出力する。全加算器では、三つの入力を扱うために複数のANDゲートをORゲートで結合し、桁上げ信号を生成する。
3.2 プログラミングにおける条件分岐
プログラミングにおいて、論理積は複数の条件を同時に満たす場合の分岐制御に使用される。例えば「if (年齢 >= 18 && 年齢 < 65)」のような条件式では、年齢が18歳以上かつ65歳未満の範囲にある場合にのみ処理が実行される。このような条件の組み合わせは、ユーザー入力の検証、データフィルタリング、状態機械の遷移条件など、幅広い場面で利用される。
3.3 データベース検索
リレーショナルデータベースにおけるSQLのSELECT文では、WHERE句にANDを使用して複数の検索条件を結合する。例えば「SELECT * FROM 社員 WHERE 部署 = '営業' AND 年収 >= 5000000」というクエリは、営業部に所属し年収が500万円以上の社員のみを抽出する。インデックスが適切に設定されている場合、データベースは各条件に対応するインデックスを効率的に利用して検索を高速化する。
3.4 法律文書における「かつ」の解釈
法律文書では、「かつ」を使用して複数の要件が同時に満たされる必要があることを明示する。例えば刑法の構成要件において「AかつBの行為をした者」という表現は、AとBの両方の行為が行われた場合にのみ該当することを意味する。ただし、日常言語と同様に法律文書でも「かつ」の解釈には曖昧性が存在し、特に列挙された要件の間に時間的順序や因果関係が含まれる場合、厳密な論理積として解釈できるかどうかが問題となることがある。
4 関連概念との関係
4.1 論理和（OR）との双対性
論理積と論理和はド・モルガンの法則によって双対関係にある。すなわち、¬(P∧Q) = ¬P∨¬Q および ¬(P∨Q) = ¬P∧¬Q が成立する。この双対性により、論理積のみで論理和を表現することが可能であり、実際にNANDゲートやNORゲートを用いた回路設計ではこの性質が活用される。
4.2 否定（NOT）との組み合わせ
4.2.1 NANDゲート
NANDゲートは、論理積の結果を否定した演算であり、¬(P∧Q) に相当する。NANDゲートはデジタル回路において最も基本的なゲートの一つであり、すべての論理ゲートをNANDゲートのみで構成できる万能ゲートとして知られる。集積回路の製造においても、NANDゲートは単純な構造で実装できるため広く使用される。
4.2.2 否定論理積の完全性
否定論理積（NAND）は関数完全性を持つ。すなわち、NANDゲートのみを組み合わせることで、任意のブール関数を実現できる。NOTゲートはP NAND Pで、ANDゲートは(P NAND Q) NAND (P NAND Q)で、ORゲートは(P NAND P) NAND (Q NAND Q)でそれぞれ構成可能である。この性質は、特定のゲートのみを利用できる設計制約下での回路設計において重要である。
4.3 排他的論理和（XOR）との比較
4.3.1 真理値表の違い
論理積と排他的論理和は、PとQがともに真の場合に異なる結果を示す。論理積は真となる一方、排他的論理和は真偽値が一致するため偽となる。両者が一致するのはPとQがともに偽の場合のみであり、それ以外の入力では異なる出力となる。この違いにより、XORは加算器やパリティ生成など、異なる用途に使用される。
4.3.2 否定論理積から排他的論理和を構成する方法
排他的論理和（XOR）は、NANDゲートを用いて構成できる。具体的には、Pの否定（P NAND P）とQの否定（Q NAND Q）をNANDしたものと、PとQをNANDしたものを、さらにNANDすることでXORが実現される。この構成は、XOR = (P NAND (P NAND Q)) NAND (Q NAND (P NAND Q)) という式で表現される。論理積のみではXORを構成できないが、否定を含めることで可能となる。
5 歴史的背景
5.1 古代ギリシャの論理学における「かつ」
古代ギリシャの哲学者アリストテレス（紀元前384-322年）は、『オルガノン』において命題の結合について考察した。彼は「かつ」（カイ）を用いた複合命題を分析し、単純命題の真偽が複合命題の真偽にどのように影響するかを論じた。ただし、現代の真理値表的な意味での論理積の明確な定義は、ストア学派（紀元前3世紀以降）による条件法の研究まで待たれることになる。
5.2 ブール代数の成立（ジョージ・ブール）
1847年、ジョージ・ブールは著書『論理の数学的分析』において、論理演算を代数的に扱う方法を提示した。彼は論理積を乗算として扱い、記号「×」や「・」で表現した。1854年の『思考の法則に関する研究』では、この代数体系をさらに発展させ、現代のブール代数の基礎を築いた。ブールの体系では、論理積の基本的な性質が代数的公理として形式化された。
5.3 20世紀の論理学とコンピュータ科学への応用
20世紀初頭、ゴットロープ・フレーゲやバートランド・ラッセルによる記号論理学の発展により、論理積は現代的な記号「∧」で表現されるようになった。1937年、クロード・シャノンは修士論文においてブール代数をリレー回路の設計に応用し、これがデジタル回路の基礎となった。その後、1940年代から50年代にかけてのコンピュータの開発において、論理積はANDゲートとしてハードウェアに実装され、今日の情報技術の基盤を形成した。
6 批判と限界
6.1 日常言語とのずれ
日常言語における「かつ」の使用は、論理積の厳密な定義と必ずしも一致しない。例えば、「彼は朝食をとり、新聞を読んだ」という文では、時間的順序（朝食→新聞）が含意される場合があるが、論理積は順序に依存しない。また、「彼はピアノが弾け、バイオリンも弾ける」では両方の能力が同時に成立する必要はなく、能力の併存を示す。このような日常言語のニュアンスは、真理値表的な論理積では完全に捉えきれない。
6.2 多値論理における拡張
二値論理における論理積を多値論理に拡張する場合、解釈の選択肢が生じる。三値論理では、真、偽、不明（または未定義）の三つの真理値が存在し、論理積の定義には複数の方式が提案されている。クリアン（Kleene）の強い論理では、不明な値が含まれても結果が確定する場合にはその値を返すのに対し、ルカシェビッチ（Łukasiewicz）の論理では、不明な値を含む演算の結果を常に不明とする。どの定義が適切かは、応用分野や目的に依存する。
6.3 パラドックスと論理積の曖昧性
論理積が関与するパラドックスとして、嘘つきのパラドックスを拡張したものが知られる。「この文は偽であり、かつ真である」という文は、論理積の定義のもとで矛盾を生じる。また、「決定不能な文Pとその否定¬Pの論理積」は、古典論理において常に偽となるが、直観主義論理ではこのような排中律の否定が許容されないため、論理積の扱いに違いが生じる。これらの問題は、論理積の普遍的な適用可能性に制限があることを示している。