反向逻辑算法