0:00
বিশেষজ্ঞযৌক্তিক সমতুল্যতাসমতুল্যতা পরীক্ষা
Horn clause হলো এমন একটি clause (literals-এর disjunction) যেখানে সর্বোচ্চ একটি positive literal থাকে।
Expression: (!A | !B | C)
এটি কি Horn clause?
Horn clause হলো এমন একটি clause (literals-এর disjunction) যেখানে সর্বোচ্চ একটি positive literal থাকে।
Expression: (!A | !B | C)
এটি কি Horn clause?