This course has been taught for the last eight years in the spring semester at Berkeley. It is an in-depth course covering logic synthesis, but more generally, it is about the representation and manipulation of discrete functions of discrete-valued variables. Each of the items below is a set of overhead foils in .ps format.