スマートフォン用の表示で見る

論理積

サイエンス

論理積

ろんりせき

ブール代数における論理積は該当記事を参照。ここではブール論理における論理積を説明する。論理積とは、与えられた複数のブール値が全て1であるとき1となる論理演算である。合接、連言、ANDともいう。「¥wedge」や「・」などの記号を用いる。

¥wedge01
000
101

否定論理積

論理積を否定した形 ¥neg(P¥wedge Q) で定義される論理演算であり、記号「¥overline{¥wedge}」を用いる。

ド・モルガンの法則より、論理和を用いて ¥neg P ¥vee¥neg Q とも表せる。

¥overline{¥wedge}01
011
110