Wie kann ich diese Formel in Hornklauseln umformen?
die Frage sagt schon alles
1 Antwort
Vom Fragesteller als hilfreich ausgezeichnet
Von gutefrage auf Grund seines Wissens auf einem Fachgebiet ausgezeichneter Nutzer
Mathematik
also: Horn Klauseln... das sind laut WP Klauseln, die höchstens ein positives Literal aufweisen... mal sehn:fertig... das nächste geht genauso... oder?
aber das Letzte... mal sehn:das sieht ja total komisch aus... wie wär das:das wäre eine Zusammensetzung zweier Horn-Klauseln zu einer Horn-Formel...
Woher ich das weiß:Studium / Ausbildung – Absolvent/Universität