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