---
title: 論理演算子
slug: Web/JavaScript/Reference/Operators/Logical_Operators
tags:
  - JavaScript
  - Operator
translation_of: Web/JavaScript/Reference/Operators
translation_of_original: Web/JavaScript/Reference/Operators/Logical_Operators
---
<div>{{jsSidebar("Operators")}}</div>

<h2 id=".E6.A6.82.E8.A6.81" name=".E6.A6.82.E8.A6.81">概要</h2>

<p>{{ 原語併記("論理演算子", "Logical operators") }} は、基本的に真偽（論理）値とともに用いられ真偽値を返します。しかし、<code>&amp;&amp;</code> および <code>||</code> 演算子は真偽値ではない値も使うことができるため、その場合は、真偽値ではない値を返すことがあります。その場合の考え方は以下の「説明」の欄の記載の通りとなります。</p>

<h2 id="Description" name="Description">説明</h2>

<p>論理演算子を以下の表で説明します。:</p>

<table class="fullwidth-table">
 <tbody>
  <tr>
   <th>演算子</th>
   <th>使用法</th>
   <th>説明</th>
  </tr>
  <tr>
   <td>論理 AND(<code>&amp;&amp;</code>)</td>
   <td><code><em>expr1</em> &amp;&amp; <em>expr2</em></code></td>
   <td><code>expr1</code> を false と見ることができる場合は、<code>expr1</code> を返します。そうでない場合は、<code>expr2</code> を返します。したがって、真偽値と共に使われた場合、 演算対象の両方が true ならば、<code>&amp;&amp;</code> は、true を返し、そうでなければ、false を返します。</td>
  </tr>
  <tr>
   <td>論理 OR (<code>||</code>)</td>
   <td><code><em>expr1</em> || <em>expr2</em></code></td>
   <td><code>expr1</code> を true と見ることができる場合は、<code>expr1</code> を返します。そうでない場合は、<code>expr2</code> を返します。したがって、真偽値と共に使われた場合、 演算対象のどちらかが true ならば、<code>||</code> は、true を返し、両方とも false の場合は、false を返します。</td>
  </tr>
  <tr>
   <td>論理 NOT (<code>!</code>)</td>
   <td><code>!<em>expr</em></code></td>
   <td>単一の演算対象が true と見ることができる場合は、false を返します。そうでない場合は、true を返します。</td>
  </tr>
 </tbody>
</table>

<p><code>true</code> に変換できる値は、いわゆる {{Glossary("truthy")}} です。<code>false</code> に変換できる値は、いわゆる {{Glossary("falsy")}} です。</p>

<p><code>false</code> と見ることができる式の例は、null、0、空文字列 ("")、あるいは、<code>undefined</code> と評価されるものです。</p>

<p><code>&amp;&amp;</code> と <code>||</code> 演算子が真偽値ではない値である演算対象とともに用いることができても、それらは、真偽演算子と考えることができます。なぜなら、それらの戻り値は、常に、真偽値と見ることができるからです。</p>

<h3 id=".E3.82.B7.E3.83.A7.E3.83.BC.E3.83.88.E3.82.B5.E3.83.BC.E3.82.AD.E3.83.83.E3.83.88.E8.A9.95.E4.BE.A1" name=".E3.82.B7.E3.83.A7.E3.83.BC.E3.83.88.E3.82.B5.E3.83.BC.E3.82.AD.E3.83.83.E3.83.88.E8.A9.95.E4.BE.A1">ショートサーキット評価</h3>

<p>論理演算子は左から右へ評価されるため、論理演算子で左辺を評価した時点で論理式の結果が確定した場合には右辺の評価を行わないことを、ショートサーキット評価といいます。例えば、A &amp;&amp; Bという論理式があった場合、Aがfalseなら、その時点で式全体の結果はfalseで確定するため、Bがどうであるかについてはチェックしません。:</p>

<ul>
 <li><code>false &amp;&amp; (<em>anything</em>)</code> をショートサーキット評価すると、false になります。</li>
 <li><code>true || (<em>anything</em>)</code> をショートサーキット評価すると、true になります。</li>
</ul>

<p>　上記の式の anything の部分は評価されません。また、<strong>上記の式の anything の部分は (括弧で示しているとおり) ひとつの論理式ですので注意してください。</strong></p>

<p>例えば、以下の 2 つの関数は等価です。</p>

<pre class="brush: js">function shortCircuitEvaluation() {
  doSomething() || doSomethingElse()
}

function equivalentEvaluation() {
  var flag = doSomething();
  if (!flag) {
    doSomethingElse();
  }
}
</pre>

<p>しかし、以下の式は等価ではありません。これは<a href="/ja/docs/Web/JavaScript/Reference/Operators/Operator_Precedence">演算子の優先順位</a>のためであり、右側の演算子をひとつの式にする (必要に応じて括弧でグループ化する) 必要性の重要度を高めています。</p>

<pre class="brush: js">false &amp;&amp; true  || true      // true を返す
false &amp;&amp; (true || true)     // false を返す</pre>

<h3 id=".E8.AB.96.E7.90.86_AND_.28&amp;&amp;.29" name=".E8.AB.96.E7.90.86_AND_.28&amp;&amp;.29">論理 AND (<code>&amp;&amp;</code>)</h3>

<p>以下のコードは、<code>&amp;&amp;</code> (論理 AND) 演算子の例を示しています。</p>

<pre class="brush: js">a1 = true  &amp;&amp; true      // t &amp;&amp; t true を返します。
a2 = true  &amp;&amp; false     // t &amp;&amp; f false を返します。
a3 = false &amp;&amp; true      // f &amp;&amp; t false を返します。
a4 = false &amp;&amp; (3 == 4)  // f &amp;&amp; f false を返します。
a5 = "Cat" &amp;&amp; "Dog"     // t &amp;&amp; t "Dog" を返します。
a6 = false &amp;&amp; "Cat"     // f &amp;&amp; t false を返します。
a7 = "Cat" &amp;&amp; false     // t &amp;&amp; f false を返します。
</pre>

<h3 id=".E8.AB.96.E7.90.86_OR_.28||.29" name=".E8.AB.96.E7.90.86_OR_.28||.29">論理 OR (<code>||</code>)</h3>

<p>以下のコードは、<code>||</code> (論理 OR) 演算子の例を示しています。</p>

<pre class="brush: js">o1 = true  || true       // t || t true を返します。
o2 = false || true       // f || t true を返します。
o3 = true  || false      // t || f true を返します。
o4 = false || (3 == 4)   // f || f false を返します。
o5 = "Cat" || "Dog"      // t || t "Cat" を返します。
o6 = false || "Cat"      // f || t "Cat" を返します。
o7 = "Cat" || false      // t || f "Cat" を返します。
</pre>

<h3 id=".E8.AB.96.E7.90.86_NOT_.28.21.29" name=".E8.AB.96.E7.90.86_NOT_.28.21.29">論理 NOT (<code>!</code>)</h3>

<p>以下のコードは、<code>!</code> (論理 NOT) 演算子の例を示しています。</p>

<pre class="brush: js">n1 = !true              // !t false を返します。
n2 = !false             // !f true を返します。
n3 = !"Cat"             // !t false を返します。
</pre>

<h3 id="Conversion_rules" name="Conversion_rules">変換規則</h3>

<h4 id="Converting_AND_to_OR" name="Converting_AND_to_OR">AND から OR への変換</h4>

<p>Boolean について以下の演算を行います:</p>

<pre class="brush: js">bCondition1 &amp;&amp; bCondition2</pre>

<p>これは以下の演算と等価です:</p>

<pre class="brush: js">!(!bCondition1 || !bCondition2)</pre>

<h4 id="Converting_OR_to_AND" name="Converting_OR_to_AND">OR から AND への変換</h4>

<p>Boolean について以下の演算を行います:</p>

<pre class="brush: js">bCondition1 || bCondition2</pre>

<p>これは以下の演算と等価です:</p>

<pre class="brush: js">!(!bCondition1 &amp;&amp; !bCondition2)</pre>

<h4 id="Converting_between_NOTs" name="Converting_between_NOTs">NOT 間の変換</h4>

<p>Boolean について以下の演算を行います:</p>

<pre class="brush: js">!!bCondition</pre>

<p>これは以下の演算と等価です:</p>

<pre class="brush: js">bCondition</pre>

<h3 id="Removing_nested_parentheses" name="Removing_nested_parentheses">入れ子の括弧を削除する</h3>

<p>論理演算子は左から右へ評価されるため、複雑な式の中にある括弧をいくつかの規則に従って削除することができます。</p>

<h4 id="Removing_nested_AND" name="Removing_nested_AND">入れ子の AND を削除する</h4>

<p>Boolean について以下の複雑な演算を行います:</p>

<pre class="brush: js">bCondition1 || (bCondition2 &amp;&amp; bCondition3)</pre>

<p>これは以下の演算と等価です:</p>

<pre class="brush: js">bCondition1 || bCondition2 &amp;&amp; bCondition3</pre>

<h4 id="Removing_nested_OR" name="Removing_nested_OR">入れ子の OR を削除する</h4>

<p>Boolean について以下の複雑な演算を行います:</p>

<pre class="brush: js">bCondition1 &amp;&amp; (bCondition2 || bCondition3)</pre>

<p>これは以下の演算と等価です:</p>

<pre class="brush: js">!(!bCondition1 || !bCondition2 &amp;&amp; !bCondition3)</pre>

<h2 id="Specifications" name="Specifications">仕様</h2>

<table class="standard-table">
 <tbody>
  <tr>
   <th scope="col">仕様書</th>
   <th scope="col">策定状況</th>
   <th scope="col">コメント</th>
  </tr>
  <tr>
   <td>{{SpecName('ES1')}}</td>
   <td>{{Spec2('ES1')}}</td>
   <td>最初期の定義</td>
  </tr>
  <tr>
   <td>{{SpecName('ES5.1', '#sec-11.11')}}</td>
   <td>{{Spec2('ES5.1')}}</td>
   <td>仕様書内のいくつかのセクションで定義: <a href="http://www.ecma-international.org/ecma-262/5.1/#sec-11.4.9">Logical NOT Operator</a>, <a href="http://www.ecma-international.org/ecma-262/5.1/#sec-11.11">Binary Logical Operators</a></td>
  </tr>
  <tr>
   <td>{{SpecName('ES6', '#sec-binary-logical-operators')}}</td>
   <td>{{Spec2('ES6')}}</td>
   <td>仕様書内のいくつかのセクションで定義: <a href="http://www.ecma-international.org/ecma-262/6.0/#sec-logical-not-operator">Logical NOT Operator</a>, <a href="http://www.ecma-international.org/ecma-262/6.0/#sec-binary-logical-operators">Binary Logical Operators</a></td>
  </tr>
  <tr>
   <td>{{SpecName('ESDraft', '#sec-binary-logical-operators')}}</td>
   <td>{{Spec2('ESDraft')}}</td>
   <td>仕様書内のいくつかのセクションで定義: <a href="http://tc39.github.io/ecma262/#sec-logical-not-operator">Logical NOT Operator</a>, <a href="http://tc39.github.io/ecma262/#sec-binary-logical-operators">Binary Logical Operators</a></td>
  </tr>
 </tbody>
</table>

<h2 id="Browser_compatibility" name="Browser_compatibility">ブラウザ実装状況</h2>

<div>{{CompatibilityTable}}</div>

<div id="compat-desktop">
<table class="compat-table">
 <tbody>
  <tr>
   <th>機能</th>
   <th>Chrome</th>
   <th>Firefox (Gecko)</th>
   <th>Internet Explorer</th>
   <th>Opera</th>
   <th>Safari</th>
  </tr>
  <tr>
   <td>論理 AND (<code>&amp;&amp;</code>)</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
  </tr>
  <tr>
   <td>論理 OR (<code>||</code>)</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
  </tr>
  <tr>
   <td>論理 NOT (<code>!</code>)</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
  </tr>
 </tbody>
</table>
</div>

<div id="compat-mobile">
<table class="compat-table">
 <tbody>
  <tr>
   <th>機能</th>
   <th>Android</th>
   <th>Chrome for Android</th>
   <th>Firefox Mobile (Gecko)</th>
   <th>IE Mobile</th>
   <th>Opera Mobile</th>
   <th>Safari Mobile</th>
  </tr>
  <tr>
   <td>論理 AND (<code>&amp;&amp;</code>)</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
  </tr>
  <tr>
   <td>論理 OR (<code>||</code>)</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
  </tr>
  <tr>
   <td>論理 NOT (<code>!</code>)</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
   <td>{{CompatVersionUnknown}}</td>
  </tr>
 </tbody>
</table>
</div>

<h2 id="See_also" name="See_also">関連情報</h2>

<ul>
 <li><a href="/ja/docs/Web/JavaScript/Reference/Operators/Bitwise_Operators">ビット演算子</a></li>
 <li><a href="/ja/docs/Web/JavaScript/Reference/Global_Objects/Boolean">Boolean</a></li>
</ul>