- #1
- 4,807
- 32
My professor wrote that we get a Boolean algebra from a Boolean ring (R,+,-,.,0,1) by setting xANDy=xy, xORy=x+y+xy and xNOT=1+x.
But it seems to me that xNOT is not an involution. I.e., (xNOT)NOT = 1+(1+x), which is not x.
(xNOT=-x would do the trick though)
But it seems to me that xNOT is not an involution. I.e., (xNOT)NOT = 1+(1+x), which is not x.
(xNOT=-x would do the trick though)