(formula, environment=None)
return nnfizer.convert(formula)
Converts the given formula in NNF
Converts the given formula in NNF
Converts the given formula in NNF
def nnf(formula, environment=None):
    """Converts the given formula in NNF"""
    nnfizer = NNFizer(environment)
    return nnfizer.convert(formula)
def nnf ( formula , environment = None ) : nnfizer = NNFizer ( environment ) return nnfizer . convert ( formula )