Abstract A Sum Term that contains n Boolean Literal from all the Boolean Variable Denoted M0 to M[2^n-1]
