$ 0 0 Why does putting negation of $f_1$ and $f_2$ work, as it says below (21)?Can someone please explain?