X || (not Y && Z)