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