在帮助文档中说，Wolfram 语言提供通道直接进入工业-强度的最新布尔计算，Wolfram 语言提供完美的布尔函数的转换、最小化、消除、可满足性和分析、使得鉴定、检验和包括千百个变量的其它应用成为可能.
那么是怎么做的呢？为什么我只有几十个变量只要一使用化简，不论是Simplify、FullSimplify、LogicalExpand、BooleanConvert、BooleanMinimize等等就死机了？千百个变量的布尔运算怎么做的，有什么特殊的方法吗？？？

Simplify卡住还可以理解，BooleanConvert LogicalExpand卡住就很奇怪了。你所操作的究竟是什么表达式？
再就是，大型表达式输出到笔记本需要不少时间，可以先加上分号抑制输出看看能不能算出来