<?php
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';
$TOC = array();
$TOC_DEPRECATED = array();
$PARENTS = array();
include_once dirname(__FILE__) ."/toc/language.operators.inc";
$setup = array (
  'home' => 
  array (
    0 => 'index.php',
    1 => 'PHP Manual',
  ),
  'head' => 
  array (
    0 => 'UTF-8',
    1 => 'ja',
  ),
  'this' => 
  array (
    0 => 'language.operators.logical.php',
    1 => '論理演算子',
    2 => '論理演算子',
  ),
  'up' => 
  array (
    0 => 'language.operators.php',
    1 => '演算子',
  ),
  'prev' => 
  array (
    0 => 'language.operators.execution.php',
    1 => '実行演算子',
  ),
  'next' => 
  array (
    0 => 'language.operators.string.php',
    1 => '文字列演算子',
  ),
  'alternatives' => 
  array (
  ),
  'source' => 
  array (
    'lang' => 'ja',
    'path' => 'language/operators/logical.xml',
  ),
  'history' => 
  array (
  ),
);
$setup["toc"] = $TOC;
$setup["toc_deprecated"] = $TOC_DEPRECATED;
$setup["parents"] = $PARENTS;
manual_setup($setup);

contributors($setup);

?>
<div id="language.operators.logical" class="sect1">
 <h2 class="title">論理演算子</h2>
 
 
 <table class="doctable table">
  <caption><strong>論理演算子</strong></caption>
  
   <thead>
    <tr>
     <th>例</th>
     <th>名前</th>
     <th>結果</th>
    </tr>

   </thead>

   <tbody class="tbody">
    <tr>
     <td>$a and $b</td>
     <td>論理積</td>
     <td><var class="varname">$a</var> および <var class="varname">$b</var> が共に <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong> の場合に <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong></td>
    </tr>

    <tr>
     <td>$a or $b</td>
     <td>論理和</td>
     <td><var class="varname">$a</var> または <var class="varname">$b</var> のどちらかが <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong> の場合に <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong></td>
    </tr>

    <tr>
     <td>$a xor $b</td>
     <td>排他的論理和</td>
     <td>
  <var class="varname">$a</var> または <var class="varname">$b</var> のどちらかが <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong> でかつ両方とも <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong> でない場合に <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong>
     </td>
    </tr>

    <tr>
     <td>! $a</td>
     <td>否定</td>
     <td><var class="varname">$a</var> が <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong> でない場合 <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong></td>
    </tr>

    <tr>
     <td>$a &amp;&amp; $b</td>
     <td>論理積</td>
     <td><var class="varname">$a</var> および <var class="varname">$b</var> が共に <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong> の場合に <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong></td>
    </tr>

    <tr>
     <td>$a || $b</td>
     <td>論理和</td>
     <td><var class="varname">$a</var> または <var class="varname">$b</var> のどちらかが <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong> の場合に <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong></td>
    </tr>

   </tbody>
  
 </table>

 <p class="simpara">
  &quot;and&quot; および &quot;or&quot; 演算子が 2 種類あるのは、演算が行われる際の優先順位が
  異なっているためです
  (<a href="language.operators.precedence.php" class="link">演算子の優先順位</a>
  を参照ください)。
 </p>
 <div class="example" id="example-1">
  <p><strong>例1 論理演算子についての説明</strong></p>
  <div class="example-contents">
<div class="annotation-interactive phpcode"><code><span style="color: #000000"><span style="color: #0000BB">&lt;?php<br /><br /></span><span style="color: #FF8000">// --------------------<br />// foo() は決してコールされることはありません。これらの演算子は短絡評価を行うからです。<br /><br /></span><span style="color: #0000BB">$a </span><span style="color: #007700">= (</span><span style="color: #0000BB">false </span><span style="color: #007700">&amp;&amp; </span><span style="color: #0000BB">foo</span><span style="color: #007700">());<br /></span><span style="color: #0000BB">$b </span><span style="color: #007700">= (</span><span style="color: #0000BB">true  </span><span style="color: #007700">|| </span><span style="color: #0000BB">foo</span><span style="color: #007700">());<br /></span><span style="color: #0000BB">$c </span><span style="color: #007700">= (</span><span style="color: #0000BB">false </span><span style="color: #007700">and </span><span style="color: #0000BB">foo</span><span style="color: #007700">());<br /></span><span style="color: #0000BB">$d </span><span style="color: #007700">= (</span><span style="color: #0000BB">true  </span><span style="color: #007700">or  </span><span style="color: #0000BB">foo</span><span style="color: #007700">());<br /><br /></span><span style="color: #FF8000">// --------------------<br />// "||" の優先順位は "or" より高くなります<br /><br />// $e に代入されるのは、(false || true) の評価結果です<br />// これは、次の式と同様です: ($e = (false || true))<br /></span><span style="color: #0000BB">$e </span><span style="color: #007700">= </span><span style="color: #0000BB">false </span><span style="color: #007700">|| </span><span style="color: #0000BB">true</span><span style="color: #007700">;<br /><br /></span><span style="color: #FF8000">// $f に false を代入してから "or" 演算子を評価します<br />// これは、次の式と同様です: (($f = false) or true)<br /></span><span style="color: #0000BB">$f </span><span style="color: #007700">= </span><span style="color: #0000BB">false </span><span style="color: #007700">or </span><span style="color: #0000BB">true</span><span style="color: #007700">;<br /><br /></span><span style="color: #0000BB">var_dump</span><span style="color: #007700">(</span><span style="color: #0000BB">$e</span><span style="color: #007700">, </span><span style="color: #0000BB">$f</span><span style="color: #007700">);<br /><br /></span><span style="color: #FF8000">// --------------------<br />// "&amp;&amp;" の優先順位は "and" より高くなります<br /><br />// $g に代入されるのは、(true &amp;&amp; false) の評価結果です<br />// これは、次の式と同様です: ($g = (true &amp;&amp; false))<br /></span><span style="color: #0000BB">$g </span><span style="color: #007700">= </span><span style="color: #0000BB">true </span><span style="color: #007700">&amp;&amp; </span><span style="color: #0000BB">false</span><span style="color: #007700">;<br /><br /></span><span style="color: #FF8000">// $h に true を代入してから "and" 演算子を評価します<br />// これは、次の式と同様です: (($h = true) and false)<br /></span><span style="color: #0000BB">$h </span><span style="color: #007700">= </span><span style="color: #0000BB">true </span><span style="color: #007700">and </span><span style="color: #0000BB">false</span><span style="color: #007700">;<br /><br /></span><span style="color: #0000BB">var_dump</span><span style="color: #007700">(</span><span style="color: #0000BB">$g</span><span style="color: #007700">, </span><span style="color: #0000BB">$h</span><span style="color: #007700">);<br /></span><span style="color: #0000BB">?&gt;</span></span></code></div>
  </div>

  <div class="example-contents"><p>上の例の出力は、
たとえば以下のようになります。</p></div>
  <div class="example-contents screen">
<div class="annotation-interactive cdata"><pre>
bool(true)
bool(false)
bool(false)
bool(true)
</pre></div>
  </div>
 </div>
</div><?php manual_footer($setup); ?>