搜索-假真不变