the ahct00 device performs the boolean function y = (a b)\ or y = a\ + b\ in positive logic.