if || , which equation is necessarily true?