Horn Formula

From GM-RKB
Jump to navigation Jump to search

A Horn Formula is a Conjunctive Normal Form Formula whose Clauses are all Horn Clauses.

Retrieved from "http://www.gabormelli.com/RKB/index.php?title=Horn_Formula&oldid=19118"