数字电路逻辑证明 A*B+(-A)*C+B*C=A*B+(-A)*C

def bool_alg():
    mm=[0,1]
    
    for a in mm:
        for b in mm:
            for c in mm:
                if bool(a*b +(not a)*c+b*c )==bool(a*b+(not a )*c):
                    pass
                else:
                    print('error')
                    
    print('ok')
    return 'ok'
d=bool_alg()

ok