Propositional Horn clauses are also of interest in computational complexity, where the problem of finding truth value assignments to make a conjunction of propositional Horn clauses true is a P-complete problem (in fact solvable in linear time), sometimes called HORNSAT. (The unrestricted Boolean satisfiability problem is an NP-complete problem however.) Satisfiability of first-order Horn clauses is undecidable.= = = Venn diagram = = =
p ɹ ɑ p ə z ɪ ʃ ə n ə l WORD_BOUNDARY h ɔ ɹ n WORD_BOUNDARY k l ɔ z ɪ z WORD_BOUNDARY ɑ ɹ WORD_BOUNDARY ɔ l s oʊ WORD_BOUNDARY ʌ v WORD_BOUNDARY ɪ n t ɹ ɛ s t WORD_BOUNDARY ɪ n WORD_BOUNDARY k ɑ m p j uː t eɪ ʃ ə n ə l WORD_BOUNDARY k ə m p l ɛ k s ɪ t i WORD_BOUNDARY w ɛ ɹ WORD_BOUNDARY ð ə WORD_BOUNDARY p ɹ ɑ b l ə m WORD_BOUNDARY ʌ v WORD_BOUNDARY f aɪ n d ɪ ŋ WORD_BOUNDARY t ɹ uː θ WORD_BOUNDARY v æ l j uː WORD_BOUNDARY ʌ s aɪ n m ə n t s WORD_BOUNDARY t ə WORD_BOUNDARY m eɪ k WORD_BOUNDARY ʌ WORD_BOUNDARY k ə n d̠ʒ ʌ ŋ k ʃ ə n WORD_BOUNDARY ʌ v WORD_BOUNDARY p ɹ ɑ p ə z ɪ ʃ ə n ə l WORD_BOUNDARY h ɔ ɹ n WORD_BOUNDARY k l ɔ z ɪ z WORD_BOUNDARY t ɹ uː WORD_BOUNDARY ɪ z WORD_BOUNDARY ʌ WORD_BOUNDARY p iː k ə m p l iː t WORD_BOUNDARY p ɹ ɑ b l ə m WORD_BOUNDARY ɪ n WORD_BOUNDARY f æ k t WORD_BOUNDARY s ɑ l v ə b ə l WORD_BOUNDARY ɪ n WORD_BOUNDARY l ɪ n ɪ ɹ WORD_BOUNDARY t aɪ m WORD_BOUNDARY s ʌ m t aɪ m z WORD_BOUNDARY k ɔ l d WORD_BOUNDARY h ɔ ɹ n s æ t WORD_BOUNDARY ð ɪ WORD_BOUNDARY ʌ n ɹ ɪ s t ɹ ɪ k t ɪ d WORD_BOUNDARY b uː l iə n WORD_BOUNDARY s æ t ɪ s f aɪ ə b ɪ l ɪ t i WORD_BOUNDARY p ɹ ɑ b l ə m WORD_BOUNDARY ɪ z WORD_BOUNDARY ʌ n WORD_BOUNDARY ɛ n p iː k ə m p l iː t WORD_BOUNDARY p ɹ ɑ b l ə m WORD_BOUNDARY h aʊ ɛ v ə ɹ WORD_BOUNDARY s æ t ɪ s f aɪ ə b ɪ l ɪ t i WORD_BOUNDARY ʌ v WORD_BOUNDARY f ɜː s t ɔ ɹ d ə ɹ WORD_BOUNDARY h ɔ ɹ n WORD_BOUNDARY k l ɔ z ɪ z WORD_BOUNDARY ɪ z WORD_BOUNDARY ʌ n d ɪ s aɪ d ə b ə l WORD_BOUNDARY iː k w ə l z WORD_BOUNDARY iː k w ə l z WORD_BOUNDARY iː k w ə l z WORD_BOUNDARY v ɛ n WORD_BOUNDARY d aɪ ə ɡ ɹ æ m WORD_BOUNDARY iː k w ə l z WORD_BOUNDARY iː k w ə l z WORD_BOUNDARY iː k w ə l z WORD_BOUNDARY