Example exc-242

Prev: exc-241

Next: exc-243

P

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