Open main menu
Home
Random
Log in
Settings
About GM-RKB
Disclaimers
GM-RKB
Search
Horn Formula
Language
Watch
Edit
A
Horn Formula
is a
Conjunctive Normal Form
Formula
whose
Clauses
are all
Horn Clauses
.