例 | 名前 | 結果 |
---|---|---|
$a and $b | 論理積 | $a および $b が共に TRUE の場合に TRUE |
$a or $b | 論理和 | $a または $b のどちらかが TRUE の場合に TRUE |
$a xor $b | 排他的論理和 | $a または $b のどちらかが TRUE でかつ両方とも TRUE でない場合に TRUE |
! $a | 否定 | $a が TRUE でない場合 TRUE |
$a && $b | 論理積 | $a および $b が共に TRUE の場合に TRUE |
$a || $b | 論理和 | $a または $b のどちらかが TRUE の場合に TRUE |
"and" および "or" 演算子が 2 種類あるのは、演算が行われる際の優先順位が 異なっているためです (演算子の優先順位 を参照ください)。
例1 論理演算子についての説明
<?php
// --------------------
// foo() は決してコールされることはありません。これらの演算子は短絡評価を行うからです。
$a = (false && foo());
$b = (true || foo());
$c = (false and foo());
$d = (true or foo());
// --------------------
// "||" の優先順位は "or" より高くなります
// $e に代入されるのは、(false || true) の評価結果です
// これは、次の式と同様です: ($e = (false || true))
$e = false || true;
// $f には false が代入され、true は無視されます
// これは、次の式と同様です: (($e = false) or true)
$f = false or true;
var_dump($e, $f);
// --------------------
// "&&" の優先順位は "and" より高くなります
// $g に代入されるのは、(true && false) の評価結果です
// これは、次の式と同様です: ($g = (true && false))
$g = true && false;
// $h には true が代入され、false は無視されます
// これは、次の式と同様です: (($h = true) and false)
$h = true and false;
var_dump($g, $h);
?>
上の例の出力は、 たとえば以下のようになります。
bool(true) bool(false) bool(false) bool(true)