‫תכן לוגי מתקדם‬

‫‪11/05/10‬‬
‫בוחן‬
‫הוראות‪:‬‬
‫•‬

‫משך הבוחן ‪ 1.5‬שעות‪.‬‬

‫•‬

‫מותר להשתמש בחומר עזר‪.‬‬

‫•‬

‫על כל התשובות להיות מנומקות‪ .‬תשובה לא מנומקת לא תקבל ניקוד !‬

‫בהצלחה‪,‬‬

‫בעיה ‪(25%) 1‬‬
‫השלם את הטבלה הבאה עבור הפונקציה‬

‫‪y1 = bc d + a bcd + a cd + abc d + a bd + a bc d‬‬
‫‪symmetric‬‬

‫‪linear‬‬

‫‪self‬‬‫‪dual‬‬

‫‪monotonic‬‬

‫‪antitonic‬‬
‫‪d‬‬

‫‪c‬‬

‫‪b‬‬

‫‪isotonic‬‬
‫‪a‬‬

‫‪e‬‬

‫‪d‬‬

‫‪c‬‬

‫‪b‬‬

‫‪a‬‬
‫‪y1‬‬

‫בעיה ‪(25%) 2‬‬
‫נתונה קבוצת הפונקציות מיין את הקבוצה לפי מיון ‪NPN‬‬

‫‪f1 = cd + ab d‬‬
‫‪f 2 = acd + ac d + abc‬‬

‫‪f 3 = c + adc + ab d‬‬
‫‪f 4 = bc d + a c d + b c d‬‬
‫בעיה ‪(25%) 3‬‬
‫נתונות שתי פונקציות ‪. f1 = x( y ⊕ z ), f 2 = x ⊕ y‬‬
‫‪ .1‬האם שתי הפונקציות מהוות סט אוניברסאלי?‬
‫‪ .2‬הראה כיצד ניתן לממש בעזרתן את שני הקבועים ‪ 0‬ו‪ 1-‬ומהפך‪.‬‬
‫‪ .3‬ממש בעזרת פונקציות אלו את הפונקציה ‪. f3 = abc + ab‬‬
‫בעיה ‪(25%) 4‬‬
‫עבור כל אחת מהטענות הבאות קבע האם היא נכונה או לא‪ .‬הוכח נכונות או תן דוגמא נגדית‪.‬‬
‫‪.1‬‬
‫‪.2‬‬
‫‪.3‬‬
‫‪.4‬‬
‫‪.5‬‬

‫ישנן פונקציות מונוטוניות שאינן סימטריות‪.‬‬
‫כל פונקציה סימטרית היא מונוטונית‪.‬‬
‫כל פונקציה ליניארית היא דואלית לעצמה‪.‬‬
‫כל פונקציה ליניארית התלויה משמעותית בשני משתנים או יותר אינה מונוטונית‪.‬‬
‫כל פונקציה איזוטונית שמציבים במקום המשתנים שלה ביטויים שהם בעצמם פונקציות איזוטוניות היא‬
‫איזוטונית במשתני פונקציות אלו‪.‬‬