(self, formula)
return self.walk(formula)
Performs simplification of the given formula.
Performs simplification of the given formula.
Performs simplification of the given formula .
def simplify(self, formula):
        """Performs simplification of the given formula."""
        return self.walk(formula)
def simplify ( self , formula ) : return self . walk ( formula )