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′).

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call