Which of the following is correct? F1​:(p↔q)∧(¬p↔q) F2:(p∨q)∧(¬p∨q)∧(¬p∨¬q)

1. A.

   F1 and F2 both are satisfiable

2. B.

   Both is unsatisfiable

3. C.

   F1 is unsatisfiable, F2 is Valid.

4. D.

   F1 is unsatisfiable, F2 is satisfiable

Attempted by 73 students.