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: