(-X = -Y)=>(X = Y) => Boolean If (-X = -Y) => (X = Y) then the algebra is Boolean.