If F1, F2 and F3 are propositional formulae such that F1 ^ F2 F3 and F1 ^ F2 F3 are both tautologies, then which of the following is TRUE?

Question

If F1, F2 and F3 are propositional formulae such that F1 ^ F2   F3 and F1 ^ F2 F3 are both tautologies, then which of the following is TRUE?

TuteeHUB · Accepted Answer

Neither is tautologies

TuteeHUB · Answer

Both F1 and F2 are tautologies

TuteeHUB · Answer

The conjuction F1 ^ F2 is not satisfiable

TuteeHUB · Answer

None of these

1.	If F1, F2 and F3 are propositional formulae such that F1 ^ F2 F3 and F1 ^ F2 F3 are both tautologies, then which of the following is TRUE?
A.	Both F1 and F2 are tautologies
B.	The conjuction F1 ^ F2 is not satisfiable
C.	Neither is tautologies
D.	None of these
Answer» C. Neither is tautologies

Discussion