fix math mistake with implies instead of logic and

fix math mistake with implies instead of logic and #153