IIUC，你可以使用递归：

lst = ["p", [["p", "q"], [["~p", "~r"], [["r", "~s"], ["s", "~q"]]]]]

def flatten(lst):
    if isinstance(lst[-1], list):
        yield lst[0]
        yield from flatten(lst[-1])
    else:
        yield lst

print(list(flatten(lst)))

图纸：

['p', ['p', 'q'], ['~p', '~r'], ['r', '~s'], ['s', '~q']]

编辑：

lst = ["p", [["~p", "q"], [["~q", "r"], "~r"]]]

def flatten(lst):
    match [lst[0], lst[1]]:
        case str(), list():
            yield lst[0]
            yield from flatten(lst[1])
        case list(), list():
            yield from flatten(lst[0])
            yield from flatten(lst[1])
        case list(), str():
            yield from flatten(lst[0])
            yield lst[1]
        case _:
            yield lst

print(list(flatten(lst)))

图纸：

['p', ['~p', 'q'], ['~q', 'r'], '~r']

假设列表的格式与上面描述的一致，我认为你可以跟踪一个布尔变量（下面代码中的hasList）来跟踪列表中的第二个元素是否是嵌套列表。如果没有，您可以将返回的列表包含在另一个列表中，以避免上面的flatten问题

def flatten_nested_list(nested_list):
    flat_list = []
    hasList = False
    for item in nested_list:
        if isinstance(item, list) and isinstance(item[1], list):
            flat_list.append(item[0])
            flat_list.extend(flatten_nested_list(item[1]))
            hasList = True
        else:
            flat_list.append(item)
    
    if hasList:
        return flat_list
    else:
        return [flat_list]

nested_list = ['p', [['~p', 'q'], [['~p', '~r'], [['r', '~s'], ['s', '~q']]]]]
flat_result = flatten_nested_list(nested_list)
print(flat_result)

线性时间解（其他答案需要二次时间）：

def flatten_nested_list(nested_list):
    flat_list = []
    while isinstance(nested_list[1], list):
        item, nested_list = nested_list
        flat_list.append(item)
    flat_list.append(nested_list)
    return flat_list