Propositional logic/Find an expression for the truth function/fftf/Exercise