code: def to_nnf(self):
          
          node = self.node.to_nnf()
          if node is self.node:
              return self
          else:
              return _expr(node)
docs: Return an equivalent expression is negation normal form.