Horn klóz

A Horn-klóz gyakorlatilag nem más, mint egy speciális szabályokat követő konjunktív normál forma. A szabály egyszerű. A Horn-klóz tartalmaz egy negálatlan literált és az összes többi literál negált alakban van jelen. A klózok logikai vagy függvénnyel kapcsolódnak egymáshoz. A Horn-klózt ítélet és elsőrendű logikában alkalmazzák. A mellékelt weboldalon további információkat talál a Horn-klózokkal kapcsolatban.