Display:

$\mbox{false}\land P=\mbox{false}$

Source:

<apply>
     <eq/>
     <apply>
          <and/>
          <false/>
          <ci type="logical">P</ci>
     </apply>
     <false/>
</apply>