I've got the following expression:
A*!B*(!B*C+!C*A*(D+B*!A+D*A*B+C*!D))
After translating it to Wolfram's understandable language I got this:
A OR NOT B OR (NOT B OR C AND NOT C OR A OR (D AND B OR NOT A AND D OR A OR B AND C OR NOT D))
For some reason Wolfram shows me this message:
Wolfram|Alpha doesn't understand your query
Showing instead result for query: OR
What's wrong with it? Why Wolfram can't minimize this expression?
Actually I got it working by using the proper notation: