Example ex5-11
(
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>