Example ex5-11

Prev: ex5-10

Next: ex5-12

( a + b ) ( c + d ) ab cd

<math>
<merror>
<semantics>
  <mrow id="E">
    <mrow id="E.1">
      <mo id="E.1.1">(</mo>
      <mi id="E.1.2">a</mi>
      <mo id="E.1.3">+</mo>
      <mi id="E.1.4">b</mi>
      <mo id="E.1.5">)</mo>
    </mrow>
    <mo id="E.2">⁢</mo>
    <mrow id="E.3">
      <mo id="E.3.1">(</mo>
      <mi id="E.3.2">c</mi>
      <mo id="E.3.3">+</mo>
      <mi id="E.3.4">d</mi>
      <mo id="E.3.5">)</mo>
    </mrow>
  </mrow>
  <annotation-xml encoding="MathML-Content">
    <apply xref="E">
      <and xref="E.2"/>
      <apply xref="E.1">
        <xor xref="E.1.3"/><ci xref="E.1.2">a</ci><ci xref="E.1.4">b</ci>
      </apply>
      <apply xref="E.3">
        <xor xref="E.3.3"/><ci xref="E.3.2">c</ci><ci xref="E.3.4">d</ci>
      </apply>
    </apply>
  </annotation-xml>
  <annotation-xml encoding="OpenMath"
                  xmlns:om="http://www.openmath.org/OpenMath"
                  xmlns:xlink="http://www.w3.org/1999/xlink">
    <om:OMA xlink:href="#xpointer(id('E'))" xlink:type="simple">
      <om:OMS name="and" cd="logic1"
              xlink:href="#xpointer(id('E'))" xlink:type="simple"/>
      <om:OMA xlink:href="#xpointer(id('E.1'))" xlink:type="simple">
        <om:OMS name="xor" cd="logic1"
                xlink:href="#xpointer(id('E.1.3'))" xlink:type="simple"/>
        <om:OMV name="a"
                xlink:href="#xpointer(id('E.1.2'))" xlink:type="simple"/>
        <om:OMV name="b"
                xlink:href="#xpointer(id('E.1.4'))" xlink:type="simple"/>
      </om:OMA>
      <om:OMA xlink:href="#xpointer(id('E.3'))" xlink:type="simple">
        <om:OMS name="xor" cd="logic1"
                xlink:href="#xpointer(id('E.3.3'))" xlink:type="simple"/>
        <om:OMV name="c"
                xlink:href="#xpointer(id('E.3.2'))" xlink:type="simple"/>
        <om:OMV name="d"
                xlink:href="#xpointer(id('E.3.4'))" xlink:type="simple"/>
      </om:OMA>
    </om:OMA>
  </annotation-xml>
</semantics>
</merror>
</math>