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 है?