WolframAlpha computational knowledge AI
simplify (X || Y) || X && Y || Y