עבודה 3 שאלה 4

מנהלים: ta_gilad, mari

שלח תגובה
גל פלד
הודעות: 31
הצטרף: 20:15 27/10/2009

עבודה 3 שאלה 4

שליחה על ידי גל פלד » 20:38 24/11/2009

האם ה CNF שאני מקבל יכול להיות {4,5,6,4,6}{4-} כלומר העם באותו clause יכול להופיע אותו literal מספר פעמיים

ta_gilad
הודעות: 34
הצטרף: 11:41 18/10/2009

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

שליחה על ידי ta_gilad » 20:48 24/11/2009

ב-CNF שאתה מקבל לא אמור להיווצר מצב שכזה. כמובן שאם יש לך פונקציה שמייצרת CNF, אתה צריך לוודא שהיא איננה מייצרת כזה שמכיל את אותו ליטרל פעמיים באותה הפסוקית.
בכל מקרה, באופן נורמאלי, אפשר להניח שזה לא קורה.
צוות הקורס - מתרגל

שלח תגובה

חזור אל “- מבוא לתכנות למערכות מידע”