例: 論理演算子

演算子 > 論理演算子 > 例: 論理演算子

例: 論理演算子

論理演算子と比較演算子を含む式を簡略化できます。このような式を簡略化すると、理解しやすくなるよう調整された結果が返されます。

論理積

• 交差しない 2 つの区間を持つ式を評価します。

• キーワード simplify を使用して式を評価します。これらの区間は重ならないので、結果は 0 (false) になります。

• 1 点で交差する 2 つの区間を持つ式を評価します。キーワード simplify を使用して評価すると、交点が返されます。

<region id="ID0EVOIR" actualWidth="288.79800093889236" actualHeight="39.2" top="268.80000000000007" left="57.600000000000009" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="10">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <apply>
        <and />
        <apply>
          <greaterOrEqual />
          <apply>
            <minus />
            <apply>
              <nthRoot />
              <placeholder />
              <id xml:space="preserve">a</id>
            </apply>
            <real>2</real>
          </apply>
          <real>0</real>
        </apply>
        <apply>
          <greaterOrEqual />
          <apply>
            <plus />
            <apply>
              <neg />
              <apply>
                <nthRoot />
                <placeholder />
                <id xml:space="preserve">a</id>
              </apply>
            </apply>
            <real>2</real>
          </apply>
          <real>0</real>
        </apply>
      </apply>
      <command>
        <id xml:space="preserve">simplify</id>
      </command>
      <symResult>
        <apply>
          <equal />
          <apply>
            <nthRoot />
            <placeholder />
            <id xml:space="preserve" labels="VARIABLE">a</id>
          </apply>
          <real>2</real>
        </apply>
      </symResult>
    </symEval>
  </math>
</region>

• 一方の区間がもう一方の区間に含まれる 2 つの区間を持つ式を評価します。キーワード simplify を使用して評価すると、最小区間が返されます。

<region id="ID0EJQIR" actualWidth="277.59800093889237" actualHeight="39.2" top="384.00000000000006" left="57.600000000000009" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="11">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <apply>
        <and />
        <apply>
          <greaterOrEqual />
          <apply>
            <minus />
            <apply>
              <nthRoot />
              <placeholder />
              <id xml:space="preserve">a</id>
            </apply>
            <real>2</real>
          </apply>
          <real>0</real>
        </apply>
        <apply>
          <greaterOrEqual />
          <apply>
            <minus />
            <apply>
              <nthRoot />
              <placeholder />
              <id xml:space="preserve">a</id>
            </apply>
            <real>1</real>
          </apply>
          <real>0</real>
        </apply>
      </apply>
      <command>
        <id xml:space="preserve">simplify</id>
      </command>
      <symResult>
        <apply>
          <greaterOrEqual />
          <apply>
            <nthRoot />
            <placeholder />
            <id xml:space="preserve" labels="VARIABLE">a</id>
          </apply>
          <real>2</real>
        </apply>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
  </math>
</region>

• 特定の範囲で交差する 2 つの区間を持つ式を評価します。キーワード simplify を使用して評価すると、交差範囲が返されます。

<region id="ID0EZRIR" actualWidth="332.57800093889239" actualHeight="39.2" top="480.00000000000006" left="76.800000000000011" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="12">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <apply>
        <and />
        <apply>
          <greaterOrEqual />
          <apply>
            <minus />
            <apply>
              <neg />
              <apply>
                <nthRoot />
                <placeholder />
                <id xml:space="preserve">a</id>
              </apply>
            </apply>
            <real>1</real>
          </apply>
          <real>0</real>
        </apply>
        <apply>
          <greaterOrEqual />
          <apply>
            <plus />
            <apply>
              <nthRoot />
              <placeholder />
              <id xml:space="preserve">a</id>
            </apply>
            <real>2</real>
          </apply>
          <real>0</real>
        </apply>
      </apply>
      <command>
        <id xml:space="preserve">simplify</id>
      </command>
      <symResult>
        <apply>
          <lessOrEqual />
          <apply>
            <lessOrEqual />
            <real>-2</real>
            <apply>
              <nthRoot />
              <placeholder />
              <id xml:space="preserve" labels="VARIABLE">a</id>
            </apply>
          </apply>
          <real>-1</real>
        </apply>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
  </math>
</region>

論理和

• 領域全体が重なる 2 つの区間を持つ式を評価します。キーワード simplify を使用して評価すると、領域が返されます。

<region id="ID0E1TIR" actualWidth="235.0413342722257" actualHeight="39.2" top="921.60000000000014" left="96.000000000000014" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="13">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <apply>
        <or />
        <apply>
          <greaterOrEqual />
          <apply>
            <nthRoot />
            <placeholder />
            <id xml:space="preserve">a</id>
          </apply>
          <real>2</real>
        </apply>
        <apply>
          <greaterOrEqual />
          <real>2</real>
          <apply>
            <nthRoot />
            <placeholder />
            <id xml:space="preserve">a</id>
          </apply>
        </apply>
      </apply>
      <command>
        <id xml:space="preserve">simplify</id>
      </command>
      <symResult>
        <apply>
          <elementOf />
          <apply>
            <nthRoot />
            <placeholder />
            <id xml:space="preserve" labels="VARIABLE">a</id>
          </apply>
          <id xml:space="preserve" labels="CONSTANT">ℝ</id>
        </apply>
      </symResult>
    </symEval>
  </math>
</region>

• 区間から 1 点だけ除外されている式を評価します。キーワード simplify を使用して評価すると、除外された点が返されます。

<region id="ID0EOVIR" actualWidth="230.13800093889239" actualHeight="39.2" top="1075.2000000000003" left="96.000000000000014" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="14">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <apply>
        <or />
        <apply>
          <lessThan />
          <apply>
            <nthRoot />
            <placeholder />
            <id xml:space="preserve">a</id>
          </apply>
          <real>2</real>
        </apply>
        <apply>
          <lessThan />
          <real>2</real>
          <apply>
            <nthRoot />
            <placeholder />
            <id xml:space="preserve">a</id>
          </apply>
        </apply>
      </apply>
      <command>
        <id xml:space="preserve">simplify</id>
      </command>
      <symResult>
        <apply>
          <notEqual />
          <apply>
            <nthRoot />
            <placeholder />
            <id xml:space="preserve" labels="VARIABLE">a</id>
          </apply>
          <real>2</real>
        </apply>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
  </math>
</region>

• 一方の区間がもう一方の区間内に含まれる 2 つの区間を使用して、式を評価します。キーワード simplify を使用して評価すると、最大区間が返されます。

<region id="ID0ECXIR" actualWidth="253.63800093889239" actualHeight="39.2" top="1228.8000000000002" left="96.000000000000014" xmlns="http://schemas.mathsoft.com/worksheet50">
  <math resultRef="15">
    <symEval xmlns="http://schemas.mathsoft.com/math50">
      <apply>
        <or />
        <apply>
          <greaterOrEqual />
          <apply>
            <nthRoot />
            <placeholder />
            <id xml:space="preserve">a</id>
          </apply>
          <real>2</real>
        </apply>
        <apply>
          <greaterThan />
          <apply>
            <nthRoot />
            <placeholder />
            <id xml:space="preserve">a</id>
          </apply>
          <real>-2</real>
        </apply>
      </apply>
      <command>
        <id xml:space="preserve">simplify</id>
      </command>
      <symResult>
        <apply>
          <greaterThan />
          <apply>
            <nthRoot />
            <placeholder />
            <id xml:space="preserve" labels="VARIABLE">a</id>
          </apply>
          <real>-2</real>
        </apply>
      </symResult>
    </symEval>
    <resultFormat>
      <matrix size="12,12" offset="0,0" show-indices="false" expand-nested-arrays="false" />
    </resultFormat>
  </math>
</region>