A && B && !C || C && (!A || B) || !B && (!A || C)