דף 1 מתוך 1

עבודה 3 - משימה 4

נשלח: 18:12 20/11/2009
על ידי barshir
במידה וב-CNF שהפונקציה מקבלת יש clause ריק, האם עדין צריך להחליף את הליטרל? מאחר ולא יהיה ניתן לספקה בכל מקרה (כל השמה לא תספק אותה).
במידה ולא צריך להחליף את הליטרל, האם להחזירה כמו שהתקבלה, ללא שינויים (כמו במקרה של CNF ריקה)?

Re: עבודה 3 - משימה 4

נשלח: 23:18 21/11/2009
על ידי גל פלד
כפי שכתוב בעבודה אתה יכול להניח ש PHI הוא CNF תקין כלומר שאין בו ביטוי {} שים לב שבמשימות אחרות שתפנה לתוכנית אתה צריך לוודא שאתה שולך PHI תקין

Re: עבודה 3 - משימה 4

נשלח: 18:40 22/11/2009
על ידי barshir
לפי הבנתי, PHI נחשבת טענה תקינה אם היא ריקה או מכילה clause ריק.
ממה שכתוב היא לא תקינה רק אם היא null, או אם אחת מהרשומות שלה null או אם אחת הרשומות שלה מכילה 0.

Re: עבודה 3 - משימה 4

נשלח: 20:20 22/11/2009
על ידי ta_gilad
ההגדרות מאוד ברורות: עליך להחליף כל Clause אשר הליטרל מופיע בו. מן הסתם, Clause ריק איננו מכיל את הליטרל, אך זה לא אומר כלום לגבי שאר ה-Clauses.