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