(formula, environment=None)
return cnfizer.convert(formula)
Converts the given formula in CNF represented as a set of sets
Converts the given formula in CNF represented as a set of sets
Converts the given formula in CNF represented as a set of sets
def cnf_as_set(formula, environment=None):
    """Converts the given formula in CNF represented as a set of sets"""
    cnfizer = CNFizer(environment)
    return cnfizer.convert(formula)
def cnf_as_set ( formula , environment = None ) : cnfizer = CNFizer ( environment ) return cnfizer . convert ( formula )