证明与计算(3): 二分决策图(Binary Decision Diagram, BDD)
0x01 布尔代数(Boolean algebra)大名鼎鼎鼎的stephen wolfram在2015年的时候写了一篇介绍George Boole的文章：George Boole: A 200-Year View。怎样用数学公理重新表达经典逻辑？George Boole在19世纪的时候开始思考这件事，在他的书《The Mathematical Analysis of Logic》里面Geor...
