code: def _cover2exprs(inputs, noutputs, cover):
      
      fs = list()
      for i in range(noutputs):
          terms = list()
          for invec, outvec in cover:
              if outvec[i]:
                  term = list()
                  for j, v in enumerate(inputs):
                      if invec[j] == 1:
                          term.append(~v)
                      elif invec[j] == 2:
                          term.append(v)
                  terms.append(term)
          fs.append(Or(*[And(*term) for term in terms]))
  
      return tuple(fs)
docs: Convert a cover to a tuple of Expression instances.