布尔函数
在布尔逻辑的積項和式中(和項積式亦可)，乘积项"P" 是布尔函数 "F" 的蕴涵项（），如果 "P" 蕴涵 "F"。更加准确的说：