Example ex4-023

Prev: ex4-022

Next: ex4-024

V A B

<math>
<apply>
  <eq/>
  <ci> V </ci>
  <apply>
    <plus/>
    <ci> A </ci>
    <ci> B </ci>
  </apply>
</apply>
</math>