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