This can be expressed as either ~s -> f OR (more correctly) s v f

A pity. It should've been s -> ~f, but even ~s -> f <-/-> s -> ~f.