The main result is: If V is a minimal, locally finite and congruence distributive variety then V is a minimal quasivariety. An example of a finite algebra generating a minimal variety which is not a minimal quasivariety is given. The authors construct all finite, strictly simple algebras generating a congruence distributive variety such that the set of unary term operations forms a group. The last section is an application to algebraic logic.