Abstract A Product Term that contains n Boolean Literal from all the Boolean Variable Denoted by m0 to m[2^n-1]
