code: def complete_sum(self):
          
          node = self.node.complete_sum()
          if node is self.node:
              return self
          else:
              return _expr(node)
docs: Return an equivalent DNF expression that includes all prime
          implicants.