def get_literal_list(f):
    """
    return the literals of the formula
    @param f:
    @return: set of the literals
    """
    literal_list = []
    for claus in f:
        literal_list += claus.literals
    return literal_list