等值式- 基本等价关系的源代码
G ∨\lor∨ G = G , G ∧\land∧ G = G (幂等律)
G ∨\lor∨ H = H ∨\lor∨ G, G ∧\land∧ H = H ∧\land∧ G (交换律)
G ∨\lor∨ (H∨\lor∨S) = (G∨\lor∨H)∨\lor∨S , G ∧\land∧ (H∧\land∧S) = (G∧\land∧H)∧\land∧S (结合律)
G ∨\lor∨ 0 = G,G ∧\land∧ 1 = G; (同一律)
G ∧\land∧ 0 = 0,G ∨\lor∨ 1.
原创
2021-09-08 16:49:24 ·
385 阅读 ·
0 评论