Consider two well-formed formulas in propositional logicF1 : P →Ë¥P F2 : (P →Ë¥P) v ( Ë¥P →)Which of the following statement is correct?

• A. F1 is unsatisfiable, F2 is satisfiable
• B. F1 is satisfiable, F2 is unsatisfiable
• C. F1 & F2 are both satisfiable
• D. F1 is unsatisfiable, F2 is valid