求能把任意命题公式转化为列表的Python代码

1.要求嵌套公式能用不同级别的列表表示
2.要求输入的为整个的公式
3.命题公式是是p非q推出r等

不知道你这个问题是否已经解决, 如果还没有解决的话:

如果你已经解决了该问题, 非常希望你能够分享一下解决方案, 以帮助更多的人 ^-^