我试图将一个涉及数百个布尔变量的布尔表达式简化为一个OR of Ands form (DNF)。此外,还有不关心术语可以用另一个布尔表达式表示。我发现有几个Python包,比如SymPy,可以用于布尔表达式最小化。但是,它不能处理,不关心表达式格式的术语。例如,>>> from sympy import symbols
>
我必须在三维空间中找到两个向量,a和b这样的a x b = c,其中c是已知的。我也知道一个约束,比方说a_y = 0
所以我必须在(c_x)x+(c_y)y+(c_z)z=0平面上寻找这两个向量,对于向量a,我可以把它简化为(c_x)x+(c_z)z=0。对于向量b,由于它与a垂直,所以它必须在(a_x)x+(a_z<