A

(AꚚB)
B (AꚚB)
(CꚚD)

B ((AꚚB).(CꚚD))
___
D (B+D)

A
___ __ __
C (A+C) ((AꚚB).(CꚚD))+ (B+D)+((A+C).(D+B))

__
C ((A+C).(D+B))
D (CꚚD)

D
B (D+B)

(A.B)+(A.C)+(B.C)