离散数学中求主范式是关系代数中的一项重要任务，通常可通过两种方法进行求解。一种方法是通过列出关系（或布尔表达式）的真值表，然后依据选择性质、并项式、化简等方法逐步推导，得到主范式。另一种方法是应用基本定理和公式，比如摩根定律、分配律和德摩根定律等，在表达式中应用几次不同的运算和规则，最终得到主范式。一般而言，求主范式的过程需要充分理解基本概念和定理，且需要有一定的推导能力和逻辑思维。因此，对于离散数学学习者而言，应在实践中多加练习，不断提高自己的能力水平。
离散数学是数学的一个分支，是研究离散量的结构和相互间的关系的数学学科，是现代数学的一个重要分支。
离散数学是计算机科学、信息科学、人工智能等领域的重要基础课程，主要包括集合论、图论、代数结构、数理逻辑等方面的内容。
因此，离散数学是数学的一个重要分支。
离散数学中，自反闭包是指一个关系R中所有元素都与自己有关系的部分。计算自反闭包的方法是将R中所有元素与它自己之间添加一个关系，使得关系变成自反的。具体操作就是将元素对(x,x)加入到R中，直到R中所有元素都满足自反规律。理解和掌握自反闭包的计算方法，对于解决离散数学中许多关系的问题非常有帮助。