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