Theory 1

PMF of (any) function of two discrete variables

Suppose and are discrete RVs.

The PMF of :

CDF of (continuous) function of two continuous variables

Suppose and are continuous RVs, and is a continuous function.

The CDF of :

If desired, one can then compute the PDF of by differentiating the continuous CDF: