概率公式知道，不知道怎么化简