def simplify(self):
        return self.visit_structured(lambda e: e.simplify(), self.__class__)
:return: beta-converted version of this expression
dataset/ETHPy150Open nltk/nltk/nltk/sem/logic.py/Expression.simplify