CC-booleanAlgebra