Horn-Formel

Aus Infostudium Wiki

Wechseln zu: Navigation, Suche

Eine Horn-Formel ist eine Konjunktion mehrerer Horn-Klauseln.

x_1 \land \ldots \land x_n

Von „http://wiki.infostudium.de/wiki/Horn-Formel“