2つの 分配律の同値性の証明

(4a)　∀a, b, c ;　 a∧(b∨c) =(a∧b)∨(a∧c)

(4b)　∀a, b, c ;　 a∨(b∧c) =(a∨b)∧(a∨c)

a∨(b∧c)	= a∨(a∧c) ∨(b∧c)	∵ 吸収律
	= a∨((a∨b) ∧c)	∵ (4a)
	= ((a∨b) ∧a) ∨((a∨b) ∧c)	∵ 吸収律
	= (a∨b) ∧(a∨c)	∵ (4a)