minterm 称为 sum 的 Product，因为它们是变量集的逻辑 AND，Maxterm 称为 sum of product，因为它们是变量集的逻辑 OR。