Boole's expansion theorem, often referred to as the Shannon expansion or decomposition, is the identity: {\displaystyle F=x\cdot F_{x}+x'\cdot F_{x'}}, where F is any Boolean function, x is a variable, ... Wikipedia