[pkl] Erfüllbarkeit mit PKL
Felix Eschey
felix.eschey at hotmail.de
Di Feb 9 21:16:17 CET 2021
Hallo,
ich bin neu hier in der Liste und gar nicht sicher, ob ich nun darauf gesetzt wurde oder nicht.
Meine Frage, die mich zurzeit brennend interessiert:
Würde es mit PKL eine Möglichkeit geben, die Erfüllbarkeit einer booleschen Formel nachzuweisen? Hat sich hierüber schon einmal jemand Gedanken gemacht? Es ist eine Frage, die mich zurzeit sehr interessiert, jedoch bin ich noch zu wenig mit dem Formalismus der PKL vertraut und hab bisher nur leichtere Einführung in das Werk von GG gelesen.
Beste Grüße
Felix Eschey
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://mlists.in-berlin.de/pipermail/pkl-mlists.in-berlin.de/attachments/20210209/6813d554/attachment.html>
Mehr Informationen über die Mailingliste pkl