Boolean function
布尔函数的所有素蕴涵项的总和叫做这个函数的完全和。