Item 1.7.17.b.

\(f(1) \ne a\) or \(f(2) \ne b\) (or both)?

in-context