DNF(U AND V AND W) OR (NOT (U OR X)) OR (NOT ( NOT V OR NOT W ))