jasonsuri1424 的题解意思有误,应该是 a=0∧b=0a = 0 \land b = 0a=0∧b=0 时才有 a∧b≥a+ba \land b \geq a + ba∧b≥a+b。
很明显,7∧0=07 \land 0 = 07∧0=0,而 7+0=77 + 0 = 77+0=7。