在对列表进行替换时出现一些没能理解的问题，代码如下：
{{1, 2}, {1, 3}, {1, 4}, {1, 5}, {1, 6}} /.{a_, b_} -> {If[OddQ[b], 1, 0], b}
{{1, 2}, {1, 3}, {1, 4}, {1, 5}, {1, 6}} /.{a_, b_} :> {If[OddQ[b], 1, 0], b}
{{1, 2}, {1, 3}, {1, 4}, {1, 5}, {1, 6}} /.{a_, b_} -> {If[b > 2, 1, 0], b}
代码运行结果如下：
第一条代码运行时，奇数判定没有起效果，我认为是因为文档中提到的：表示奇整数但不直接计算的表达式依然给出 False。
但是当把->换成规则延迟:>后，代码2中IF能够正常运行，说实话我实在没能理解为什么能够正常运行。
同样我也不太理解，为什么代码3可以正常运行，而代码1不可以。
希望各位大佬答疑解惑，在这行代码运行的过程中，软件是以什么样的顺序进行计算的，变量的值是什么时候发生变化的，什么原因造成了运行结果的差异，谢谢。

结果图的顺序错了，正确的顺序是：

首先解释一下->和:>的区别，简单地说就是什么时候计算右边，对于->，右边是先计算出来的，而:>是左边匹配到具体的内容时再计算的，因此一般来说，用:>多半是没错的。
比如你可以试试给b提前赋值，再运行这三个例子，可以看到，1和3的b完全变成你所赋的值，而不会受匹配内容的影响。
至于1和3为什么不同，是因为If[b > 2, 1, 0]无法判断是哪种情况，因此保留了这种形式，留待匹配之后替换再进一步化简，而OddQ[b]对于不能判断为True的情况一律给出False（所有XxxQ的函数都有这个特点），因此1中的第一项总是为0。
你可以尝试一下If的第四个参数，它在不确定True或False的情况下会给出第四个参数，你可以再试试这三个例子，结果有什么不同。

我可以理解为：
->在替换的时候，在局部变量赋值前计算了一次右边，赋值后又计算了一次右边
:>只在局部变量被赋值后计算了一次右边
（局部变量这里指的是{a_，b_}->{f[a]，f[b]}中的a，b）

一个体现4楼楼主理解错误之处的例子：
b=0;{1,2}/.a_Integer/;(b++;True)->b