2.2.1 布尔函数的表示方法

文档摘要

2.2.1 布尔函数的表示方法在数字电路设计、形式验证、逻辑综合乃至现代AI可解释性分析中，布尔函数的表示方法从来不是教科书里静止的符号游戏——它是一场与状态爆炸搏斗的工程实践，一次在表达力、空间开销与操作效率之间反复权衡的精密校准。当你在EDA工具中点击“Synthesize”按钮时，背后是数百万个布尔函数被自动映射为AIG；当模型检查器报告“Property holds”，那背后ROBDD的节点合并策略已悄然消解了$2^{100}$量级的状态空间；而当你调试一个FPGA布线失败的案例，最终发现根源竟是真值表导出的SOP形式在工艺库映射阶段触发了非法扇入约束——这些都不是抽象理论，而是每天发生在芯片设计实验室、自动驾驶验证平台和密码协议分析现场的真实战况。