Hola Tomás, según la definición del teórico y del libro, bottom sí puede
aparecer en una fórmula en forma normal.
La definición pide que sean ands de ors (u ors de ands) de fórmulas
atómicas o negaciones de atómicas. Las fórmulas atómicas son las letras
proposicionales y bottom, así que sí puede aparecer ⊥ o ¬⊥
Saludos,
--
Juan Diego Campo
Instituto de Computación
Facultad de Ingeniería - UdelaR