离散数学等价公式？基本等价式：1、E1:(G_H)_(G→H)∧bai(H→G)du(等价)2、E2：(G→H)_(～G∨H)(蕴涵zhi)3、E3：G∨G_G(幂等律)E4：G∧G_G 4、E5：G∨H_H∨G(交换律dao)E6：G∧H_H∧G 5、E7：G∨(H∨S)_(G∨H)∨S(结合律)E8:G∧(H∧S)_(G∧H)∧S 6、那么，离散数学等价公式？一起来了解一下吧。
基本等价式：
1、E1:(G_H)_(G→H)∧bai(H→G)du(等价)
2、E2：(G→H)_(～G∨H)(蕴涵zhi)
3、E3：G∨G_G(幂等律)
E4：G∧G_G
4、E5：G∨H_H∨G(交换律dao)
E6：G∧H_H∧G
5、E7：G∨(H∨S)_(G∨H)∨S(结合律)
E8:G∧(H∧S)_(G∧H)∧S
6、E9：G∨(G∧H)_G(吸收律)
E10：G∧(G∨H)_G
7、E11：G∨(H∧S)_(G∨H)∧(G∨S)(分配律)
E12：G∧(H∨S)_(G∧H)∨(G∧S)
8、E13：G∨F_G(同一律)
E14：G∧T_G
9、E15：G∨T_T(零律)
E16：G∧F_F
离散数学基础：公式解析与逻辑结构
离散数学中的基本逻辑与运算规则为我们理解和构建复杂的逻辑系统提供了坚实的基石。下面是一系列核心公式，它们在推理和证明中起着关键作用：
1. 双重否定定律: A ∧ ¬¬A，反映事物的自相矛盾是无效的。
2. 幂等律: A ∧ A∨A, A ∧ A∧A，表明同一事项的重复操作结果保持不变。
3. 交换律: A∨B ↔ B∨A, A∧B ↔ B∧A，强调运算顺序的无关性。
结合律: (A∨B)∨C ↔ A∨(B∨C), (A∧B)∧C ↔ A∧(B∧C)，体现了并集和交集的结合性质。
4. 分配律: A∨(B∧C) ↔ (A∨B)∧(A∨C), A∧(B∨C) ↔ (A∧B)∨(A∧C)，说明运算可以分步进行。
5. 德·摩根律: ¬(A∨B) ↔ ¬A∧¬B, ¬(A∧B) ↔ ¬A∨¬B，揭示了否定的对偶性。
6. 吸收律: A∨(A∧B) ↔ A, A∧(A∨B) ↔ A，表示特定情况下，一个事件的并集或交集等于自身。
等值演算公式，
1，A可为非非A（双重否定律）
2，A可为AVA（幂等律）
3，A可为A^A（幂等律）
4，AVB可为BVA（交换律）
5，A^B可为B^A（交换律）
6，AV（BVC）可为（AVB）VC（结合律）
7，A^（B^C）可为（A^B）^C（结合律）
8，AV（B^C）可为（AVB）^（AVC）（分配律）
9，A^（BVC）可为（A^B）V（A^C）（分配律）
10，非（AVB）可为非A^非B（德摩根律）
11，非（A^B）可为非AV非B（德摩根律）
12，AV（A^B）可为A（吸收律）
13，A^（AVB）D可为A（吸收律）
14，AV1可为1（零一律）
15，A^0可为0（零一律）
16，AV0可为A（同一律）
17，A^1可为A（同一律）
18，A^非A可为0（矛盾律）
19，AV非A可为1（排中律）
20，A→B可为非AVB（蕴含等值式）
21，A等价B可为（A→B）^（B→A）（等价等值式）
22，A→B可为非A等价非B（假合易位）
23，A等价B可为非A等价B（双条件否定等值式）
24，（A→B）^（A→非B）可为非A（归谬论）
（1，0分别代表永真式，永假式）
望采纳，谢谢。
(x+y)^2 等价于 x^2 + 2 xy +y^2表示的是一种无论 x y为何值 该等式永远成立。
x = y 前提是x = 1 y =1 ，若x= 2 y = 3 则不等值。
是一种概念意义上的不同。
等值讨论的是两个不同的逻辑变量 何时相等的问题。
等价讨论的是一种逻辑推理规则。表述的是一种变换的方法。
设A、B为两个命题公式，若A、B构成的等价式A<->B是重言式（恒为真），那么就称A与B是等值的，记作A<=>B。所以说当一个等价式是重言式的时候，称其前件与后件是等值的。
例如：判断┐（p∨q）与┐p∧┐q是否等值
即判断┐（p∨q）<->┐p∧┐q是否是重言式，通过真值表可发现┐（p∨q）<->┐p∧┐q的逻辑值恒为1，所以┐（p∨q）<->┐p∧┐q是重言式，即┐（p∨q）与┐p∧┐q等值
以上就是离散数学等价公式的全部内容，设A、B为两个命题公式，若A、B构成的等价式A<->B是重言式（恒为真），那么就称A与B是等值的，记作A<=>B。所以说当一个等价式是重言式的时候，称其前件与后件是等值的。例如：判断┐（p∨q）与┐p∧┐q是否等值 即判断┐（p∨q）<->┐p∧┐q是否是重言式。
