fixed logic bug

a=b&a=c