Generalized “Boolean” theory of universal algebras