In class, we discussed one-variable propositions and two-variable propositions. Why not three - possible compound propositions F(A, B, C)? Show that whatever F(A, B, C) is, it can be equivalently expressed in terms of F (A, B, True), F (A, B, False), and C, using only , , .

So, I guess we need to prove : F(A,B,C) = [C F(A,B,true)] [C F(A,B,true)]