WolframAlpha computational knowledge AI
(¬x1 ∨ ¬x2 ∨ ¬x3 ) is polynom ?