A implies B gate