python - 命题公式拆分方法？-真值表生成器（py）

Question

我一直在从事这个项目，并在获取公式的各个部分以进行单独评估的过程中遇到了麻烦。

例如：(~p>~q)^(~(p^q))

我应该得到：

1. (~p)
2. (~q)
3. (~p>~q)
4. (p^q)
5. (~(p^q))
6. (~p>~q)^(~(p^q))

我设法得到了最基本的，如 1、2、3 和 4，但从那里我还没有设法得到 5 和 6。

这个网站确切地显示了我想怎么做：真值表生成器