(A && B && C) || (~A && ~B)