1

我正在解决一个问题，以最小化作为 Solr 输入提供的大型布尔表达式。这似乎是一个类似于通过使用布尔代数 / K-Map 等技术来最小化电路上的逻辑门的问题。但是，这些技术对于较小的表达式很有用，但如果表达式非常大，则不然。还有哪些其他方法/算法可用于解决此问题？

4

0 回答 0