运用命题的等价性巧解题