Aussagenlogik: Syntax, Semantik, Normalformen, Horn ... - GWDG
Aussagenlogik: Syntax, Semantik, Normalformen, Horn ... - GWDG
Aussagenlogik: Syntax, Semantik, Normalformen, Horn ... - GWDG
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
<strong>Horn</strong>-Formeln<br />
Def.:<br />
Eine <strong>Horn</strong>-Formel ist eine aussagenlogische<br />
Formel in konjunktiver Normalform, in der jede<br />
Disjunktion höchstens ein positives Literal enthält.<br />
Eine solche Disjunktion heißt eine <strong>Horn</strong>-Klausel.<br />
Beispiel einer <strong>Horn</strong>-Formel:<br />
24