Reducing Brackets is a Logical expression

Somewhere, some time ago, i saw a rountine, C, C++, php, some language that provided a rountine to reduce brackets in a logical expression to the fewest number of brackets possible (much like mysql does), for ex: ((a and b) or (a and c)) would be reduced to: (a or c) and b not a very good example, anyone one ever run across this code, or have an idea what this operation is called, I know there was a name....for the life of me I can't remember the name. any help appreciated kb __________________________________________________ Do You Yahoo!? Get personalized email addresses from Yahoo! Mail http://personal.mail.yahoo.com/