直接利用吸收律,将第2个a分解,得:
a`a=a`[a*(a`b)];
把小括号中的式子看做一个整体,比如令:c=a`b,则有:
a`a=a`[a*(a`b)]=a`[a*c];
再次利用吸收律,即可得:
a`a=a`[a*c]=a;
同理,可证:
a*a=a;
直接利用吸收律,将第2个a分解,得:
a`a=a`[a*(a`b)];
把小括号中的式子看做一个整体,比如令:c=a`b,则有:
a`a=a`[a*(a`b)]=a`[a*c];
再次利用吸收律,即可得:
a`a=a`[a*c]=a;
同理,可证:
a*a=a;