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