דף 1 מתוך 1

עבודה 3 שאלה 4

נשלח: 20:38 24/11/2009
על ידי גל פלד
האם ה CNF שאני מקבל יכול להיות {4,5,6,4,6}{4-} כלומר העם באותו clause יכול להופיע אותו literal מספר פעמיים

Re: עבודה 3 שאלה 4

נשלח: 20:48 24/11/2009
על ידי ta_gilad
ב-CNF שאתה מקבל לא אמור להיווצר מצב שכזה. כמובן שאם יש לך פונקציה שמייצרת CNF, אתה צריך לוודא שהיא איננה מייצרת כזה שמכיל את אותו ליטרל פעמיים באותה הפסוקית.
בכל מקרה, באופן נורמאלי, אפשר להניח שזה לא קורה.