In Boolean algebra the law which states that if a group of terms connected by like operators contains the same variable, the variable may be removed from the terms and associated with them by the appropriate sign of operation (for example, A(B + C) = AB + AC) [13].