1 votes 1 votes Among the following which is not a Horn Clause ? (A) p (B) 7p V q (C) p -> q (D) p -> 7q Sanjay Sharma asked Oct 20, 2017 Sanjay Sharma 4.3k views answer comment Share Follow See all 5 Comments See all 5 5 Comments reply rishi71662data4 commented Oct 20, 2017 reply Follow Share What is horn clause ? 0 votes 0 votes Sanjay Sharma commented Oct 20, 2017 reply Follow Share clauses having at most one +ve literal e.g PV ~Q V~R only one +ve P is there or ~Q V~R no +ve here 0 votes 0 votes Rishabh Gupta 2 commented Oct 21, 2017 reply Follow Share If 7 here means negation, then I think D) will be the correct option 0 votes 0 votes Sanjay Sharma commented Oct 21, 2017 reply Follow Share why option D it also simplifies to ~PV~Q (no +ve literal hence horn clause) 0 votes 0 votes Rishabh Gupta 2 commented Oct 21, 2017 reply Follow Share Then it looks like all are horn clauses. Is this in the syllabus of GATE?? 0 votes 0 votes Please log in or register to add a comment.
0 votes 0 votes A Horn clause is a clause with at most one positive so answer is (a) p p either true or false which is at most one positive for other options you can use truth table manav kothari answered Oct 21, 2017 manav kothari comment Share Follow See all 0 reply Please log in or register to add a comment.