为啥$a \land b = 1$的时候$a \longrightarrow a + n~~~~~~~~~b \longrightarrow b + n$