Text this: Evolution of the Boolean function manipulation