(formula, environment=None)
return normalizer.normalize(formula)
Converts the given formula in Prenex Normal Form
Converts the given formula in Prenex Normal Form
Converts the given formula in Prenex Normal Form
def prenex_normal_form(formula, environment=None):
    """Converts the given formula in Prenex Normal Form"""
    normalizer = PrenexNormalizer(environment)
    return normalizer.normalize(formula)
def prenex_normal_form ( formula , environment = None ) : normalizer = PrenexNormalizer ( environment ) return normalizer . normalize ( formula )