指定带 espresso_exprs 的 DC 盖

问：

我刚刚开始学习 pyeda，对 python 来说相当陌生。我有一个非常复杂的部分定义的布尔表达式（80~140 个变量，10K 项），它太大而无法表示为真值表，但我可以很容易地将其表示为两个 DNF（1 个 DNF 描述定义的 ON 和 OFF 集合，1 个 DNF 描述 DC 集合）。我的问题是 pyeda 只提供 API：

• espresso_exprs 接受 DNF 列表，并且似乎认为这些是完全定义的表达式，因为显然没有考虑 DC 术语。
• espresso_tts接受线性化真值表，可能带有 DC 项。

有没有办法在用 pyeda 调用浓缩咖啡时指定 DC DNF 或封面？

我目前的工作是求解两个 DNF 的总和，然后尝试删除任何仅涵盖 DC 的术语，但我不确定这是否正常工作，无论如何我相信这种方法可能效率相对较低。