Se puede revisar la pregunta de;
"Indique cuáles de las siguientes son secuencias de formación de la fórmula ((p1∧(¬p18))↔((p3∧⊥)→((¬p4)∨p0)))."
Tal cual como esta ahora solo encuentro una que es secuencia de formación, y me marca como si hubiese otra.