What can we correctly say about proposition P1:P1 : (p v Ë¥q) ^ (q →r) v (r v p)

• A. P1 is satisfiable
• B. P1 is tautology
• C. If p as true and q is true and r is false, then P1 is true
• D. If p is true and q is false and r is false, the P1 is true