(formula, environment=None)
return cnfizer.convert_as_formula(formula)
Converts the given formula in CNF represented as a formula
Converts the given formula in CNF represented as a formula
Converts the given formula in CNF represented as a formula
def cnf(formula, environment=None):
    """Converts the given formula in CNF represented as a formula"""
    cnfizer = CNFizer(environment)
    return cnfizer.convert_as_formula(formula)
def cnf ( formula , environment = None ) : cnfizer = CNFizer ( environment ) return cnfizer . convert_as_formula ( formula )