(maxterm, variables)
return Or(*temp)
Converts a term in the expansion of a function from binary to it's
    variable form (for POS).
Converts a term in the expansion of a function from binary to it's
    variable form (for POS).
Converts a term in the expansion of a function from binary to it s variable form ( for POS ) .
def _convert_to_varsPOS(maxterm, variables):
    """
    Converts a term in the expansion of a function from binary to it's
    variable form (for POS).
    """
    temp = []
    for i, m in enumerate(maxterm):
        if m == 1:
            temp.append(Not(variables[i]))
        elif m == 0:
            temp.append(variables[i])
        else:
            pass  # ignore the 3s
    return Or(*temp)
def _convert_to_varsPOS ( maxterm , variables ) : temp = [ ] for i , m in enumerate ( maxterm ) : if m == 1 : temp . append ( Not ( variables [ i ] ) ) elif m == 0 : temp . append ( variables [ i ] ) else : pass # ignore the 3s return Or ( * temp )