2.5 逻辑上的加法