‫"תכן לוגי מתקדם" )‪(83-256‬‬

‫מבחן—מועד ב' – תש"ע‬
‫הוראות‪:‬‬
‫•‬

‫משך הבחינה ‪ 3‬שעות‪.‬‬

‫•‬

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

‫•‬

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

‫בהצלחה‪,‬‬
‫שאלה ‪(35%) 1‬‬
‫השאלה עוסקת במימוש פונקציות לוגיות באמצעות אלמנטי סף‪.‬‬

‫א‪.‬‬

‫ממש את הפונקציה‬

‫ב‪ .‬האם קיימים ערכי סף‬

‫‪F1 = bd + abcd + bcd + abc‬‬

‫וסט משקולות נוספים המקיימים ‪= 1‬‬

‫כפונקצית סף‪ .‬רשום את‬

‫‪α a ,αb ,αc ,α d , T‬‬

‫‪.‬‬

‫) ‪ , min(α a , α b , α c , α d‬אשר בעזרתם ניתן‬

‫לממש את הפונקציה?‬
‫ג‪.‬‬

‫מהנדס קיבל פונקציה ) ‪ f ( xn −1 ,..., x0‬הנתונה למימוש ע"י אלמנט סף עם ערך סף ‪ T‬וסט משקלים‬

‫} ‪{α n −1 ,...α 0‬‬

‫המקיימים ‪ | α i |≥ 2‬לכל ‪ . i‬כדי לפשט את התכנון המהנדס הציע להוריד את ערכו המוחלט של‬

‫כל אחד מהמשקלים ב‪ ,1 -‬כלומר ‪ | αˆ i |=| α i | −1‬מבלי לשנות את סימנו ולעדכן את ערך הסף בהתאם‪.‬‬
‫קבע האם תמיד )קרי‪ ,‬לכל פונקציה ) ‪ ( f ( xn −1 ,..., x0‬המערכת החדשה תממש את אותה הפונקציה?‬
‫אם כן‪ ,‬הוכח מדוע‪ .‬אם לא‪ ,‬תן דוגמא לפונקציה אחת שתשאר אותו הדבר לאחר שינוי הסף והמשקלים ולפונקציה אחרת‬
‫שתשתנה עקב כך‪.‬‬

‫ד‪ .‬נתונה פונקציה ) ‪ f ( xn − 2 ,..., x0‬הנתונה למימוש ע"י אלמנט סף עם סט משקלים } ‪ {α n − 2 ,...α 0‬וערך סף ‪ .T‬האם‬
‫הפונקציה ) ‪ g ( xn , xn −1 ,..., x0 ) = xn xn −1 f ( xn − 2 ,..., x0‬ניתנת למימוש ע"י אלמנט סף? אם לא תן דוגמא‪ ,‬אם כן‬
‫רשום את סט המשקלים החדש ואת ערך הסף החדש‪.‬‬

‫‪1‬‬

‫שאלה ‪(35%) 2‬‬
‫הגדרה‪ :‬פונקציה נקראת לינארית במשתנה ‪ x‬אם מתקיים ) ‪. f ( x, Y ) = f ( x , Y‬‬
‫‪ .1‬הראה כי פונקציה לינארית במשתנה ‪ x‬ניתנת לייצוג כ‪. f ( x, Y ) = x ⊕ g (Y ) -‬‬
‫‪ .2‬תן דוגמא לפונקציה ) ‪f ( x, y, z‬‬

‫שהיא לינארית במשתנה ‪ x‬אך אינה לינארית בשאר המשתנים‪.‬‬

‫‪ .3‬חשב את מקדמי פרוק ‪ Reed-Muller‬של הפונקציה שבחרת לפי פולריות חיובית‪.‬‬
‫‪ .4‬נתונה פונקציה ) ‪ f ( x, Y ) = x ⊕ g (Y‬הלינארית במשתנה ‪ . x‬נסמן ב‪ S g -‬את וקטור מקדמי פרוק ‪ RM‬של‬
‫הפונקציה ) ‪ g (Y‬לפי פולריות חיובית‪ .‬הבע את ‪ S f‬באמצעות ‪. S g‬‬

‫) ‪∂f ( x, Y‬‬
‫‪ .5‬נגדיר נגזרת של פונקציה לפי המשתנה ‪ x‬כ‪= f ( x, Y ) ⊕ f ( x , Y ) -‬‬
‫‪∂x‬‬
‫‪ .a‬גזור את הפונקציה ‪ f ( x, y, z ) = xy ' z + z ' y‬לפי כל אחד מהמשתנים‪.‬‬
‫‪ .b‬הראה כי פונקציה כלשהי ) ‪ f ( x, Y‬היא לינארית ב‪ x -‬אם הנגזרת שלה לפי משתנה זה שווה‬
‫זהותית ל‪.1-‬‬
‫‪ .c‬הראה כי פונקציה כלשהי ) ‪ f ( x, Y‬אינה תלויה ב‪ x -‬אם הנגזרת שלה לפי משתנה זה שווה זהותית‬
‫ל‪.0-‬‬
‫‪.‬‬

‫שאלה ‪(30%) 3‬‬
‫נתונה מערכת צרופית בעלת ‪ 3‬קווי יציאה‪ .‬בהתאם לצרוף המופיע על קווי הכניסה למערכת‪ ,‬המערכת מוציאה על קוי‬
‫היציאה את אחד משמונת הוקטורים הבאים‪:‬‬
‫)‪Code(y3,y2,y1‬‬
‫‪011‬‬
‫‪010‬‬
‫‪001‬‬
‫‪000‬‬

‫‪digit‬‬
‫‪4‬‬
‫‪5‬‬
‫‪6‬‬
‫‪7‬‬

‫)‪Code(y3,y2,y1‬‬
‫‪111‬‬
‫‪110‬‬
‫‪101‬‬
‫‪100‬‬

‫‪digit‬‬
‫‪0‬‬
‫‪1‬‬
‫‪2‬‬
‫‪3‬‬

‫א‪.‬‬

‫הוסף ליציאת המערכת סיביות בדיקה לפי קוד ‪.Berger‬‬

‫ב‪.‬‬

‫בנה את מעגל ה ‪ Checker‬המתאים לקוד ‪.Berger‬‬

‫ג‪.‬‬

‫בחר אחת ממילות הקוד‪ ,‬והדגם את פעולת ה‪ Checker -‬כאשר בכניסתו מופיעה מילת קוד זו‪.‬‬

‫ד‪.‬‬

‫תן דוגמא לפעולת ה‪ Checker -‬כאשר בכניסתו‪ ,‬כתוצאה מכשל‪ ,‬מופיעה מילה שאינה מילת הקוד שבחרת‬
‫בסעיף הקודם‪.‬‬

‫ה‪.‬‬

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

‫ו‪.‬‬

‫במהלך העבודה הסתבר כי כשלים במעגל יכולים להשפיע רק על ביט ה‪ MSB-‬של מילת הקוד‪ .‬הצע דרך‬
‫פשוטה וזולה )הכרוכה בהוספת מספר מינימלי של סיביות יתרות( לגלות שארעה תקלה‪ .‬הוכח שהפתרון‬
‫שהצעת אכן מגלה כשלים מסוג זה‪.‬‬

‫בהצלחה‪.‬‬
‫‪2‬‬