aussagenlogische Resolution |
| 28.11.2018, 16:35 | Auf diesen Beitrag antworten » |
| bcrksrgn | 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 
. |
|
|
|
|
|
Verwandte Themen
| Die Beliebtesten » |
|
| Die Größten » |
|
| Die Neuesten » |
|