Top

Discussion

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: B

No answer description available for this questio

No comment is present. Be the first to comment.
Loading…

Post your comment