Upper bound on number of products in AND-OR-XOR expansion of logic functions