X1+X2=3
X1+㏒X1=3 ①
X2+10∧X2=3 ②
令10∧X2=A
则X2=㏒A
所以②式可以化成A+㏒A=3 ③
对比① ③可知
X1=A 即X1=10∧X2
X1+X2=10∧X2+X2=3