2. The method as claimed in claim 1 , further comprising expanding each term to remove NOT operators.
2. The method as claimed in claim 1 , further comprising expanding each term to remove NOT operators. 3. The method as claimed in claim 2 , wherein the sum of terms are expanded using Boolean logic.