离散数学基本等价关系

离散数学基本等价关系

(1)	E1:	G ∨ G = G
	E2:	G ∧ G = G	（幂等律）
(2)	E3:	G ∨ H = H ∨ G
	E4:	G ∧ H = H ∧ G	（交换律）
(3)	E5:	G ∨ ( H ∨ S ) = ( G ∨ H ) ∨ S
	E6:	G ∧ ( H ∧ S ) = ( G ∧ H ) ∧ S	（结合律）
(4)	E7:	G ∨ 0 = G
	E8:	G ∧ 1 = G	（同一律）
(5)	E9:	G ∨ 1 = 1
	E10:	G ∧ 0 = 0	（零律）
(6)	E11:	G ∨ ( H ∧ S ) = ( G ∨ H ) ∧ ( G ∨ S )
	E12:	G ∧ ( H ∨ S ) = ( G ∧ H ) ∨ ( G ∧ S )	（分配律）
(7)	E13:	G ∨ ( G ∧ H ) = G
	E14:	G ∧ ( G ∨ H ) = G	（吸收律）
(8)	E15:	G ∧ ﹁ G = 0	（矛盾律）
(9)	E16:	G ∨ ﹁ G = 1	（排中律）
(10)	E17:	﹁ ( ﹁ G ) = G	（双重否定律）
(11)	E18:	﹁ ( G ∨ H ) = ﹁ G ∧ ﹁ H
	E19:	﹁ ( G ∧ H ) = ﹁ G ∨ ﹁ H	（德摩根律）
(12)	E20:	G → H = ﹁ G ∨ H	（蕴涵式）
(13)	E21:	G → H = ﹁ H → ﹁ G	（假言易位）
(14)	E22:	G ↔ H = ( G → H ) ∧ ( H → G ) = ( ﹁ G ∨ H ) ∧ ( ﹁ H ∨ G )	（等价式）
(15)	E23:	G ↔ H = ﹁ G ↔ ﹁ H	（等价否定等式）
(16)	E24:	( G → H ) ∧ ( G → ﹁ H ) = ﹁ G	（归谬论）
(1)	E25:	(∃x) G(x) = (∃y) G(y)
	E26:	(∀x) G(x) = (∀y) G(y)	（改名规则）
(2)	E27:	﹁(∃x) G(x) = (∀x) ﹁G(x)
	E28:	﹁(∀x) G(x) = (∃x) ﹁G(x)	（量词转换律/量词否定等价式）
(3)	E29:	(∀x) (G(x) ∨ S) = (∀x) G(x) ∨ S
	E30:	(∀x) (G(x) ∧ S) = (∀x) G(x) ∧ S
	E31:	(∃x) (G(x) ∨ S) = (∃x) G(x) ∨ S
	E32:	(∃x) (G(x) ∧ S) = (∃x) G(x) ∧ S	（量词辖域的扩张与收律）
(4)	E33:	(∀x) (G(x) ∧ H(x)) = (∀x) G(x) ∧ (∀x) H(x)
	E34:	(∃x) (G(x) ∨ H(x)) = (∃x) G(x) ∨ (∃x) H(x)	（量词分配律）
(5)	E35:	(∀x) G(x) ∨ (∀x) H(x) = (∀x)(∀y) (G(x) ∨ H(y))
	E36:	(∃x) G(x) ∧ (∃x) H(x) = (∃x)(∃y) (G(x) ∧ H(y))