(A+B)・((notA)+C)=A・C + (notA) ・ B
(A+B)((1-A)+C)=A(1-A)+B(1-A)+AC+BC=AC+B(1-A+C)