연구문헌
교육정보
심화정보
포커스iN
연구자료
- 문자 DB
- 용어사전
알림마당
CSERIC 광장

단어	Horn-만족
단어	Horn-satisfiability
설명	형식 논리학(formal logic)에서 Horn-만족(Horn-satisfiability) 또는 HORNSAT는 제안된Horn 항목(Horn clauses)이 주어진 집합이 만족하는 것을 결정하는 문제이다. Horn 항목이라는 것은 최대 하나의 양의 상수를 갖는 항목(clauses, 상수의 논리합(disjunction of literals))이며 항목의 머리라고 불린다. 그리고 음의 상수는 항목의 몸을 만드는데 사용된다. Horn 공식(Horn formula)은 Horn 항목의 논리곱(conjunction)에 의한 형태의 주어진 식이다.