More simply, \\((v \multimap w) :=\neg (v \land \neg w) = \neg v \lor w \\)