1.第二步用的是“分配律”.

集合写法: AU(~A∩B)=(AU~A)∩(AUB)

命题逻辑写法：A∨(┌A∧B)<=>(A∨┌A)∧(A∨B)

2.算术中的“分配律”

a*(b+c)=(a*b)+(a*c)