数字电路逻辑证明 A+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*c)==bool((a+b)*(a+c)):
                    pass
                else:
                    print('error')
                    
    print('ok')
    return 'ok'
d=bool_alg()

ok