A implies B negative gate