привести к минимальной ДНФ

[sergan]

(((-b 8 c) V (-c V d) V -a) 8 (-a V b V -c V d) 8 -(c V d) 8 a)

где 8 - конъюнкция;
 "-" это отрицание