שאלה לגבי Satisfies2 בעבודה

מנהלים: TA_nimrod, TA_Igor, TA_Adi

שלח תגובה
etaiso
הודעות: 29
הצטרף: 19:46 05/11/2009

שאלה לגבי Satisfies2 בעבודה

שליחה על ידי etaiso » 19:52 26/11/2009

אם הphi שלי הוא למשל:

קוד: בחירת הכל

{{1,2},{-1},{-2}}
והMU מכיל את 1 ו-2 אז לאחר ה-substitute ה-phi יהיה ריק (כלומר length=0)? או שהוא צריך להראות כך:

קוד: בחירת הכל

{{},{}}
כלומר שתי תאים ריקים בגלל הנגדיים של הליטרלים מ-MU.
כי אני עשיתי פשוט שפונקציה יוצרת מערך חדש ובמקרה הזה היא יוצרת לי מערך ריק ולכן isTrue מחזיר אמת, אבל לפי הדף של התרגיל זה לא כך.

Raz.A
הודעות: 64
הצטרף: 22:00 26/10/2009

Re: שאלה לגבי Satisfies2 בעבודה

שליחה על ידי Raz.A » 21:42 26/11/2009

isTrue לא אמור להחזיר אמת.
הוא יחזיר אמת רק במידה וקיבלת {} ולא {{}} - (מערך דו מימדי ריק לגמרי בניגוד למערך דו מימדי שבו יש מערך ריק)
המקרה של המערך הריק יתקבל ב isFalse שאמור להחזיר אמת אם המערך מכיל CLAUSE ריק

TA_Isana
הודעות: 110
הצטרף: 15:19 19/04/2009

Re: שאלה לגבי Satisfies2 בעבודה

שליחה על ידי TA_Isana » 17:52 28/11/2009

צריך להחזיר כמו שתיארת {{},{}}.
Course TA: Tamar Pinhas

שלח תגובה

חזור אל “- מבוא למדעי המחשב 2010”