PDF[Min[x,y],{x\[Distributed]ExponentialDistribution[2],y\[Distributed]ExponentialDistribution[2]}]

Probability[Min[x,y]<3,{x\[Distributed]ExponentialDistribution[2],y\[Distributed]ExponentialDistribution[2]}]//FullSimplify

Probability[x+y<1,{x\[Distributed]BinomialDistribution[3,p],y\[Distributed]BinomialDistribution[3,p]}]

Probability[x-y≥1,{x,y}\[Distributed]  MultinormalDistribution[{1,0},{{4,-1/2 *2},{-1,1}}]]

二维正态[µ1_,µ2_,σ12_,σ22_,ρ_]=MultinormalDistribution[{µ1,µ2},{{σ12,ρ Sqrt[σ12 σ22]},{ρ Sqrt[σ12 σ22],σ22}}]