8.5.1 极小项和规范形式与真值表