consider the "truth table" monad on the category of sets; that is the monad whose algebras are boolean algebras (with their usual underlying set). in how many ways can this be expressed as a barr-beck composite monad?

boolean algebras can be thought of as boolean rings... does this give one such way?
"and distributing over xor" or something like that...

but are there any other ways??