Without a small example it is difficult to tell what you tried, but this small example does work with WolframAlpha
small boolean conversion to cnf
Perhaps you can try your query using exactly that notation and see if it works.
If it doesn't work and trying data input with exactly that notation doesn't work then appending your data file to a post here might make it a little more likely that someone would refer your example to the right person.
