論理積とは？

ろんりせき

「P かつ Q」を表す演算で、両方が真のときのみ真となります。記号は ∧ です。

論理積（AND 演算）は「P ∧ Q」と表記され、P と Q がともに真のときのみ真、それ以外は偽となる二項論理演算である。集合論における共通部分（∩）に対応し、プログラムの条件式でも広く用いられる。ド・モルガンの法則「¬(P ∧ Q) ≡ ¬P ∨ ¬Q」が成り立つ。