Actually, I don't have AND gates. What I meant with the sum of products representation is that I can implement it, but I have to use several gates to make an AND. Anyway, I don't like to get into specifics about the project.
Thanks for the tip about Espresso. Logic Friday is built on it, but...