Abstract
We prove that an algebra (L,∧,∨,′) of type (2,2,1) is a Boolean algebra iff (L,∧,∨) is a non empty lattice that satisfies the equation (‡ )(x∧y)∨(x∧y′)=(x∨y)∧(x∨y′).
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have