P{min{X,Y}