論理積
「私の身長は 160 cm 以上である」
「私の体重は 50 kg 以上である」
の二つの命題の論理積は、
「私の身長は 160 cm 以上であり、かつ私の体重は 50 kg 以上である」
論理積は、否定と論理和を用いて表すことができる(ド・モルガンの法則)。
P ∧ Q = ¬(¬P ∨ ¬Q)
逆に、否定と論理積を用いて論理和を表すこともできる。
P ∨ Q = ¬(¬P ∧ ¬Q)
⋅ {\displaystyle \cdot } 記号を使用して A ⋅ B {\displaystyle A\cdot B} と書く。論理回路のページを参照。