极小项：就是合取式，每个变量按顺序排列，只能取p或┐p比如两个变元p，q就只有4个极小项：p∧q、p∧┐q、┐p∧q、┐p∧┐q3个变元则有8个，以此类推极大项：就是析取式，每个变量按顺序排列，只能取p或┐p比如两个变元p，q就只有4个极小项：p∨q、p∨┐q、┐p∨q、┐p∨┐q3个变元则有8个，以此类推
