数电与python——简单布尔恒等式证明