Neue Frage
0

Propositional formula to RMNF conversion

gefragt 2017-08-25 15:31:18 +0100

Anonymer Benutzer

Anonymous

The method described in the lecture for conversion of a propositional formula to RMNF sometimes requires a lot of transformations (or I'm being unfortunate enough to apply rules in a wrong order). For example, in the latest exercise sheet for exam preparation I found myself to be able to transform 1.c to RMNF quite fast while 2.c took a lot of time to complete.

Is there a quicker way to convert a propositional formula to RMNF?

bearbeiten retag Als beleidigend melden schließen löschen

1 Antwort

2

geantwortet 2017-08-25 15:44:54 +0100

PS Gravatar-Bild

I see essentially two ways for that conversion: (1) the algebraic way given in the slides you mentioned where you have to apply distributive laws etc which will blow-up the formula and (2) convert it to a FDD from which you can read the RMNF from. The latter can be done by successive case distinctions on variables which may also be exponential, but often you will be lucky and that works faster (make up your mind about the variable ordering to speed up that process).

My favorite is the way via FDDs.

In circuit design, the RMNF is related with spectral transformations, i.e., in some sense you could also get it through such transformations, but that is also not simpler, I am afraid.

bearbeiten Als beleidigend melden löschen publish Link mehr

Ihre Antwort

Du kannst deinen Eintrag bereits als Gast verfassen. Deine Antwort wird zwischengespeichert, bis du dich eingeloggt oder registriert hast.
Bitte nur konstruktive Antworten auf diese konkrete Frage posten.
Falls du eine Frage stellen willst, dann stelle eine neue Frage.
Für kurze Diskussionen und Nachfragen benutze bitte die Kommentar-Funktion.
Deine Fragen und Antworten kannst du jederzeit nachbearbeiten und verbessern.
Gute Fragen und Antworten kannst du mit einem Upvote oder Downvote bewerten.

Schreibe deine Antwort auf diese Frage

[Vorschau ausblenden]

Statistik

Gefragt: 2017-08-25 15:31:18 +0100

Gesehen: 35 mal

Letztes Update: Aug 25