离散数学中,极小项和极大项的定义,怎么区分?怎么判断是极小项或者极大项?举个例子看看~

Question

离散数学中,极小项和极大项的定义,怎么区分?
怎么判断是极小项或者极大项?
举个例子看看~

Answer 1

极小顶的特点：
1、 必须是简单合取式；
2、 每个命题变项和它的否定式不同时出现,而二者之一必出现且仅出现一次；
3、 第i个命题变项或它的否定式出现在从左算起的第i位上（若命题变项无角标,就按字典顺序排列）.
极大项的特点：
1、 必须是简单析取式；
2、 每个命题变项和它的否定式不同时出现,而二者之一必出现且仅出现一次；
3、 第i个命题变项或它的否定式出现在从左算起的第i位上（若命题变项无角标,就按字典顺序排列）.
熟悉以上特点,就很好判断极小项和极大项了!