論理積
From Wikipedia, the free encyclopedia
例
- 「私の身長は 160 cm 以上である」
- 「私の体重は 50 kg 以上である」
の二つの命題の論理積は、
- 「私の身長は 160 cm 以上であり、かつ私の体重は 50 kg 以上である」
性質
表記法
論理学
を使用して と書く。
電子工学
記号を使用して と書く。論理回路のページを参照。
プログラミング言語
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 ...)
のように記述できる。
各プログラミング言語における真理値の論理積の表記と意味は、短絡評価とも密接な関係がある。
関連項目
符号位置
| 記号 | Unicode | JIS X 0213 | 文字参照 | 名称 |
|---|---|---|---|---|
| ∧ | U+2227 | - | ∧∧∧ | 論理積 |
