Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- Logik (http://www.informatikerboard.de/board/board.php?boardid=16)
----- aussagenlogische Resolution (http://www.informatikerboard.de/board/thread.php?threadid=4071)

Geschrieben von bcrksrgn am 28.11.2018 um 16:35:

  aussagenlogische Resolution

Hallo,

ich habe eine Frage zur aussagenlogische Resolution.

Die Resolutionskalkül beweist bei unerfüllbarer Eingabe, das die Formel unerfüllbar ist.


Kann man Resolution auch benutzen, um für eine beliebige Eingabeformel korrekt in
endlicher Zeit zu entscheiden, ob sie erfüllbar oder unerfüllbar ist?



Ich danke euch schonmal im Voraus großes Grinsen .


Forensoftware: Burning Board, entwickelt von WoltLab GmbH