数字电路逻辑证明 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