I certainly dont like his use of the tilde ~ for active low signals.

to each his own, IMHO it does not matter what you use as long as you use something and are constant.

Ive just spent an afternoon explaining to someone how DeMorgans law allows us to view logic functions in different ways depending on how you want to look at it.

Do you have the most important book on CPLD/FPGA programming (Hurley: "Logic")? Using Hurley you can reduce a function far faster than by any other means.

Erik