I was hoping someone would be able to help me with propositional logic. I'm using the logical laws, and trying to simplify and expression. I'm given (T -> P) ^ (P -> F), and I have to simplify it. Does anyone know what laws I should use to approach this?