Describir: A computer tutorial and simulation system for teaching digital function minimization