https://isa-afp.org/authors/schulzl/ AFP entries of Leon Raffael Schulz https://isa-afp.org/entries/CNF_DNF_Exp_Blowup.html Mon, 15 Jun 2026 00:00:00 +0000 A Formalization of the Exponential Blowup in the Transformations between CNF and DNF in the AFP Logic/General logic/Classical propositional logic