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

• Natural Language
• Math Input