Transformation into negation normal form can increase the size of a formula only linearly: the number of occurrences of atomic formulas remains the same, the total number of occurrences of formula_2 and formula_3 is unchanged, and the number of occurrences of formula_1 may double.