You are on page 1of 2

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

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

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

‫•‬

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

‫•‬

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

‫•‬

‫הסעיפים בכל שאלה אינם שווים בערכם‪.‬‬

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

‫א‪.‬‬

‫נתונה פונקציה‬

‫‪F1 ( x1 , x2 , x3 , x4 ) = x2 x3 x4 + x1 x4 x2 x3 + x2 x1 x3 x4‬‬
‫ממש את הפונקציה ע"י אלמנט סף‪ .‬קבע את ערך המשקולות )הנמוכים ביותר האפשריים( ואת‬
‫ערך הסף‪.‬‬
‫ב‪.‬‬

‫איך צריך לשנות את המשקלים של הכניסות לאלמנט הסף כדי לממש את הפונקציה‬

‫) ‪F2 ( x1 , x2 , x3 , x4 ) = F1 ( x1 , x2 , x3 , x4‬‬
‫ג‪.‬‬

‫נתונה פונקציה ) ‪ F2 ( x1 , x2 ,...xn‬בעלת ‪ n > 10‬משתנים הניתנת למימוש בעזרת אלמנט סף עם‬

‫ד‪.‬‬

‫‪⎧ α if i is odd‬‬
‫⎨ = ‪ ai‬וערך סף ‪ .T‬האם הפונקציה היא פונקציה סימטרית? הוכח קיום‬
‫המשקלים‬
‫‪⎩ −α if i is even‬‬
‫סימטריה או תן דוגמא המראה מדוע הפונקציה אינה סימטרית‪.‬‬
‫נתונה פונקציה ) ‪ F2 ( x1 , x2 ,...xn‬בעלת ‪ n > 10‬משתנים הניתנת למימוש בעזרת אלמנט סף עם‬
‫‪⎧1 if i = 1‬‬
‫⎨ = ‪ ai‬וערך סף ‪ .T‬האם הפונקציה היא פונקציה סימטרית? הוכח קיום‬
‫המשקלים‬
‫‪⎩2 if i ≠ 1‬‬
‫סימטריה או תן דוגמא המראה מדוע הפונקציה אינה סימטרית‪.‬‬

‫שאלה ‪2‬‬

‫)‪(40%‬‬

‫‪ (1‬נתונה הפונקציה‬

‫)‬

‫(‬

‫‪Y = x1 x2 ⊗ x1 x2 x3 + x2 x3 x1‬‬
‫‪ (a‬ממש את הפונקציה בעזרת אלמנטי ‪ Majority‬לפי שיטת ‪Miyata – majority tree‬‬
‫‪ (b‬האם קיים מימוש פשוט יותר לפונקציה ?‬
‫‪ (2‬האם נכונה הטענה כי שתי פונקציות שונות השייכות לאותו ‪ NPN class‬יכולות להוות סט שלם‪.‬‬
‫‪ (3‬האם נכונה הטענה כי הרכבה של פונקציות לא מונוטוניות תמיד תתן פונקציה לא מונוטונית?‬

‫‪1‬‬

‫‪ (4‬נתונות שתי פונקציות ‪ f , g‬הדואליות אחת לשנייה ‪ .‬נסמן ב‪ SPi -‬את אוסף במשתנים במכפלה ה‪ i -‬ב‪SOP -‬‬
‫המינימלי של ‪ f‬ונסמן ב‪ SPj ' -‬את אוסף במשתנים במכפלה ה‪-‬‬

‫‪j‬‬

‫‪SPi = ∪ SP ' j‬‬
‫‪j∈J‬‬

‫ב‪ SOP -‬המינימלי של ‪ . g‬הוכח כי‬

‫∪‬
‫‪i∈I‬‬

‫‪ . f ( x,1) ≥ f ( x, 0),‬הראה כי‬

‫‪ (5‬נתונה פונקציה ) ‪ f ( x, y‬המקיימת‪f (1, y ) ≥ f (0, y ) ,‬‬
‫)‪f ( x, y ) = f (0, 0) + y ⋅ f (0,1) + x ⋅ f (1, 0) + xy ⋅ f (1,1‬‬
‫‪ (6‬נתונה פונקציה של ‪ n = 10‬משתנים ונתון שהיא איזוטונית במשתנים ‪ x1 , x2 ,..x5‬ואנטיטונית במשתנים‬
‫‪ . x6 , x7 ,..x10‬נתון ש ‪ . f (10011 10001) = 1‬כתוב חסם עליון ותחתון )לא טריוואלי( למשקל הפונקציה‪.‬‬

‫שאלה ‪(35%) 3‬‬
‫מערכת צרופית בעלת ‪ 4‬קווי כניסה ו‪ 5-‬קווי יציאה ממומשת ע"י ‪ PLA‬באופן הבא‪:‬‬

‫‪d‬‬

‫‪f5‬‬

‫‪f3 f4‬‬

‫‪c‬‬

‫‪b‬‬

‫‪a‬‬

‫‪f1 f2‬‬

‫א‪ .‬נסמן ב‪ N -‬את מספר המילים השונות היכולות להופיע ביציאת המערכת‪ .‬מצא מהו ‪? N‬‬
‫ב‪ .‬מהנדס א' רוצה להגן על יציאות המערכת ע"י שימוש בקוד ‪ .m-out-of-n‬מהו ‪ n‬המינימלי הדרוש כדי להגן על‬
‫‪ N‬מילים שונות כאשר אין דרישה שהקוד יהיה ‪.separable‬‬
‫ג‪.‬‬

‫מהנדס ב' הציע להגן על יציאות המערכת בעזרת קוד ‪ .2-out-of-6‬הראה שניתן לקודד את יציאות המערכת‬
‫בצורה ‪ separable‬ע"י שימוש בקוד זה‪ .‬רשום ביטוי לוגי עבור ביט היתרות הנוסף‪.‬‬

‫ד‪ .‬האם הקוד בסעיף ג' יוכל לגלות יותר מתקלה אחת מסוג של "חיבור חסר" במטריצת ה‪? AND-‬‬
‫ה‪ .‬האם המערכת שתכננת בסעיף ג' הינה ‪ self-testing‬יחסית לתקלות מסוג "חיבור חסר" במטריצת ה‪? OR-‬‬

‫בהצלחה‪.‬‬

‫‪2‬‬