MΑΘΗΜΑΤΙΚΑ ΠΡΟΒΛΗΜΑΤΑ

[Epitaph]

Ορίζουμε μια έκφραση Boole ότι είναι σε CNF αν είναι της μορφής

<img src="http://upload.wikimedia.org/math/b/3/6/b36e0668a5d3059f05f47db64dc585b7.png" alt="b36e0668a5d3059f05f47db64dc585b7.png" class="bbcode_img" />

Έχουμε μία Boole έκφραση σε CNF λοιπόν και θέλουμε να τη μετατρέψουμε σε PN CNF. Δηλαδή κάθε clause αυτής να χει είτε ΜΟΝΟ Θετικά είτε ΜΟΝΟ Αρνητικά literals ως περιεχόμενο.
Να σημειώσω πως πρέπει να ναι αυστηρά σε CNF το αποτέλεσμα.
Πως θα λύσουμε αυτό το καθημερινό πρόβλημα συγχωριανοί?

 

[Tsok]

Μισό να βρω που άφησα τα ναρκωτικά μου!!

Έλεος ρε επιτάφιε.

 

[Brother Bruce]

μπορει να ναι τελειως ασχετο, αλλά:

http://www.xklsv.org/viewwiki.php?title=3-CNF#viewwiki.php?s=2&_suid=137042478999606254819977637571

δες το σαν οφτοπικ, αν δεν εχει καμια σχεση.

 

[Epitaph]

Nope, δεν με βοήθησε <img src="/irritated.gif" width="" height="" alt=":/" title=":/" class="bbcode_smiley" />
Τέλος πάντων, ευχαριστώ.