דף 1 מתוך 1

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

נשלח: 19:52 26/11/2009
על ידי etaiso
אם הphi שלי הוא למשל:

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

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

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

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

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

נשלח: 21:42 26/11/2009
על ידי Raz.A
isTrue לא אמור להחזיר אמת.
הוא יחזיר אמת רק במידה וקיבלת {} ולא {{}} - (מערך דו מימדי ריק לגמרי בניגוד למערך דו מימדי שבו יש מערך ריק)
המקרה של המערך הריק יתקבל ב isFalse שאמור להחזיר אמת אם המערך מכיל CLAUSE ריק

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

נשלח: 17:52 28/11/2009
על ידי TA_Isana
צריך להחזיר כמו שתיארת {{},{}}.