WolframAlpha computational knowledge AI
(!A && !B) || (!B && !C) || (C && !A)