부울대수의 공리중 교환법칙 x+y = y + x가 성립되고
뒤에 이를 이용하여 xy = yz 라는 것이 떡하니 있더군요...
암만봐도 이게 어떻게 되는지 이해를 못하겠고
xy=yz=zx=xx=xy=yy=yz=yy 이렇게도 될 수 있는거 아닌지요?