简单的逻辑变换

证明至少存在一个元素满足某个条件：证明所有元素都不满足条件是错的

获得第一个（最后一个）满足条件的元素：
1.顺序遍历，遇到满足条件的判断前面是否有，有就不保存
2.顺序遍历，遇到满足条件，不判断前面是否存有都直接进行覆盖。