我刚刚开始学习 pyeda，对 python 来说相当陌生。我有一个非常复杂的部分定义的布尔表达式（80~140 个变量，10K 项），它太大而无法表示为真值表，但我可以很容易地将其表示为两个 DNF...