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?
This is the way I understood your input:
(not B and A) and (D implies not E) or (not (B or A)) and ((C and not D) or (not C and D)) or (A and ((not E and B) xor ((not C) and D and (not B))))
This the link for W|A:
http://www.wolframalpha.com/input/?i=%28not+B+and+A%29++and+%28D+implies+not+E%29+or+%28not+%28B+or+A%29%29+and+%28%28C+and+not+D%29+or+%28not+C+and+D%29%29+or+%28A+and+%28%28not+E+and+B%29+xor+%28%28not+C%29+and+D+and+%28not+B%29%29%29%29
This the way I simplified it:
BooleanConvert[ And[! B, A] && Implies[D, ! \[CapitalEpsilon]] || ! Or[B, A] && (And[C, ! D] || And[! C, D]) || And[A, Xor[And[! \[CapitalEpsilon], B], And[! C, D, ! B]]] ]
(A&&!B&&!D)||(A&&!E)||(!B&&C&&!D)||(!B&&!C&&D) <= link broken, check below
http://www.wolframalpha.com/input/?i=%28A%26%26!B%26%26!D%29||%28A%26%26!E%29||%28!B%26%26C%26%26!D%29||%28!B%26%26!C%26%26D%29
Binary decision tree form:
http://www.wolframalpha.com/input/?i=%28A+AND++%28NOT+%28%28B+AND++E%29+OR++%28%28NOT+B%29+AND++C+AND++E+AND++D%29%29%29%29+OR++%28%28NOT+A%29+AND++%28NOT+%28B+OR++%28%28NOT+B%29+AND++%28%28C+AND++D%29+OR++%28%28NOT+C%29+AND++%28NOT+D%29%29%29%29%29%29%29
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?
