## Discussion Forum

Que. | The following resolution rule is used in logic programming:
Derive clause (P v Q) from clauses (P v R), (Q v ¬ R) Which of the following statements related to this rule is FALSE? |

a. | ((P v R) ^ (Q v ¬ R)) (P v Q) is logically valid |

b. | (P v Q) ⇒ ((P v R) ^ (Q v ¬ R)) is logically valid |

c. | (P v Q) is satisfiable if and only if (P v R) ^ (Q v ¬ R) is satisfiable |

d. | (P v Q) ⇒ FALSE if and only if both P and Q are unsatisfiable |

Answer:(P v Q) ⇒ ((P v R) ^ (Q v ¬ R)) is logically valid |