The moment-generating function of the minimum of bivariate normal rand
om variables is derived through a lemma that can be used to evaluate c
ertain integrals that involve the normal distribution. As an illustrat
ion of the value of the moment-generating function, the mean and mean
square are deduced, and they prove to be quite complicated expressions
in the general case considered here.