Propositional Function Discrete Math