The expression looks like this http://prntscr.com/af82k1
I entered:
(not B and A)(D implies not E) or (not (B or A))((C and not D) or (not C and D)) or (A and ((not E and B) xor ((not C) and D and (not B)))))
I keep getting invalid input, what did I write wrong?
Your ( and ) do not quite match up.
Does (stuff)(other stuff) mean (stuff)and(other stuff) or mean something else?
I am assuming you are assuming 'not' has higher precedence than any other operation.
Is 'xor' higher or lower than 'and'?
What syntax are you referring to Mathematica or Wolfram|Alpha?