AND-OR-Invert Gates for Implementing Sum-of-Products Expressions