我正在尝试使用具有数百个布尔文字的系统，它们之间的关系以析取范式（例如x1 = (x2 & x3) | x4；；x2 = x5 | x6等）。我想通过将其中一些替换为所有其他来简化系统（我已经大致知道易于处理的替换）。但到目前为止，我的数据结构的扩展性非常差。我将表达式表示为 a Setof BitSets，它消除了完全重复的内容，但我仍然最终（似乎）浪费了大量时间来构建这些集合，因为我想急切地修剪掉任何多余的析取词 - 例如(x1 & x2) | (x1 & x2 & x3)is just (x1 & x2)。
有没有更好的方法来存储或操作这些不会产生 O(n^2) 成本来构建它们？