Applying Consensus Theorem Boolean