KonkurStudy
مهندسی کامپیوتر 1404
سوال 69سوال 71

سوال ۷۰ کنکور ارشد مهندسی کامپیوتر ۱۴۰۴

هوش مصنوعیمتوسطمنطق گزاره‌ها و تحلیل (Resolution)
اهمیت
۰/۵

جمله زیر را در منطق گزاره‌ای درنظر بگیرید. کدام مورد درست است؟ (بدیهی = همیشه درست = Tautology) (رزولوشن = Resolution)

[(A⇒C)∨(B⇒C)]⇒[(A∨B)⇒C][(A \Rightarrow C) \lor (B \Rightarrow C)] \Rightarrow [(A \lor B) \Rightarrow C]

#propositional-logic#resolution#tautology#refutation-completeness#cnf#satisfiability