the ahc00 devices perform the boolean function y = (a b)\ or y = a\ + b\ in positive logic.