DNF ((~c&&b&&a) || (d&&c&&~a) || (d&&b) || (~d&&c&&a) || (~d&&~c&&~b&&~a) || (~d&&c&&~b))