I think Alpha just didn't recognize your notation. (x or y) and (x or not y) and...

		sp332 on Jan 29, 2014 \| parent \| context \| favorite \| on: SymPy Gamma: an open-source, Python-based alternat... I think Alpha just didn't recognize your notation. (x or y) and (x or not y) and (not x or y) works fine https://www.wolframalpha.com/input/?i=%28x+or+y%29+and+%28x+...