Y = A + (B*C)
Y = A + (B' + (C*D)')
Y = A*(B*(C'+D)')