Example ex4-216

Prev: ex4-215

Next: ex4-217

P

<math>
<apply> <eq/>
  <apply>
    <or/>
    <true/>
    <ci type = "logical">P</ci>
  </apply>
  <true/>
</apply>
</math>