!a&&(a||b)