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