一、关于离散数学的问题
哈哈。才考试了离散数学。
幺元就是群里面的单位元，
群和独异点一定有幺元，因为这是定义。
群不能有零元，因为零元不可逆。
半群和独异点可以有零元。
二、离散数学简答
((p∨q)→r)→p
⇔¬((p∨q)→r)∨p 变成 交并
⇔¬(¬(p∨q)∨r)∨p 变成 交并
⇔((p∨q)∧¬r)∨p 德摩根定律
⇔((p∨q)∨p)∧(¬r∨p)
⇔(p∨q)∧(¬r∨p)
⇔(p∨q∨(r∧¬r))∧(p∨(¬q∧q)∨¬r)
⇔(p∨q∨r)∧(p∨q∨¬r)∧(p∨¬q∨¬r)∧(p∨q∨¬r)
⇔(p∨q∨r)∧(p∨q∨¬r)∧(p∨¬q∨¬r)
这是主合取范式
三、什么是离散数学？
离散数学是现代数学的一个重要分支,是计算机科学中的基础理论的核心课程.离散数学是以离散量的结构和相互间的关系为主要目标,其研究对象一般的是有限个或可数个元素,因此它充分描叙了计算机科学离散性的特点.
主要包括数理逻辑,集合论,代数结构,布尔代数,图论等内容.
四、离散数学的知识在解决信息科学与技术领域中问题的应用实例
首先，离散数学主要包括四个方面逻辑学集合论，代数结构，图论，直接用来解决一些实际的问题的，比较少，因为它是一门计算机专业的理论基础课，解决实际问题，你看哪些方面的问题了，
下面我举一些例子：
1 数据结构，这是计算机专业的一门重量级课程，而离散数学里里面的图论，就是数据结构里面图和树的理论基础！！像一些经典的算法，在数据结构里会学到，其实，它们在图论里就被研究得很透！
2。关系数据库，不用说，它的理论基础----关系代数，就是离散数学的一个分支！！
3。在计算机网络原理里面，有一些路由选择算法之类 的，像最短路径算法等，都是离散数学里图论的应用，都是一些经典的算法！！
4。更深层次的，像人工智能等学科，都是以离散数学做为理论基础的，
所以，离散数学是计算机的一个理论基础，
至于你在编程中解决的问题，那应该是数据结构和算法的应用，因为这门课就是离散数学的理论，加上在计算机上的存储以及操作实现的~~