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?