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

מנהלים: ta_gilad, mari

שלח תגובה
barshir
הודעות: 16
הצטרף: 22:56 04/11/2009

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

שליחה על ידי barshir » 18:12 20/11/2009

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

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

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

שליחה על ידי גל פלד » 23:18 21/11/2009

כפי שכתוב בעבודה אתה יכול להניח ש PHI הוא CNF תקין כלומר שאין בו ביטוי {} שים לב שבמשימות אחרות שתפנה לתוכנית אתה צריך לוודא שאתה שולך PHI תקין

barshir
הודעות: 16
הצטרף: 22:56 04/11/2009

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

שליחה על ידי barshir » 18:40 22/11/2009

לפי הבנתי, PHI נחשבת טענה תקינה אם היא ריקה או מכילה clause ריק.
ממה שכתוב היא לא תקינה רק אם היא null, או אם אחת מהרשומות שלה null או אם אחת הרשומות שלה מכילה 0.

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

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

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

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

שלח תגובה

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