Сократите пожалуйста. a^d^(notavnotc^bvd)v(a^notc)v(nota^b^notc)
a*d*(notavnotc*bvd)+(a*notc)+(nota*b*notc)