Boole's expansion theorem

Boole's expansion theorem, also known as Boolean decomposition, is a fundamental concept in Boolean algebra and logic. It provides a method to express any Boolean function in terms of its variables and their complements. The theorem states that a Boolean function can be expanded as a sum of products or a product of sums based on the possible values of its variables.