变量乘以一个子函数，加上这个变量的反变量乘以另一个子函数。例如：可以抽取其中的变量 formula_3 及其反变量 formula_4（formula_3 取反），而得到对逻辑函数使用香农展开，就可以使用抽取的变量作为一个选择信号，然后用数据选择器来实现该函数。