采用+、乘、逆的符号：‘+’：并集；AB：表交集；‘'’表：逆；φ：空集

　　证明：

　　A+B=A+(A'B)

　　由右向左证明：

　　右'=[A+(A'B)]'=A'(A'B)'

　　=A'(A+B')

　　=AA'+A'B'

　　=φ+(A+B)'

　　=(A+B)'

　　=左'

　　->右'=左'

　　即：A+B=A+(A'B)