!(!a || (b && !c))