Teaching UGC NET Mock Test Series 2025 (Paper 1 & 2) Engineering Mathematics Mathematical Logic Propositional Logic
Which of the following is correct?
F1 : (p ↔ q)∧(¬ p ↔ q)
F2 : (p∨¬q)∧(¬ p∨q) ∧(¬ p∨¬q)
1
F1 is satisfiable, F2 is valid
2
F1 is unsatisfiable, F2 is satisfiable
3
F1 is unsatisfiable, F2 is valid
4
F1 and F2 both are unsatisfiable