פתיחה של ניתוח קומבינציוני

הגישה לחלק הארי של מודול ניתוח משולב מתבצע דרך חלון יחיד של זה שם המאפשר לך להציג טבלאות אמת וביטויים בוליאניים. ניתן לפתוח חלון זה בשתי דרכים.

דרך תפריט החלון

בחר | חלון |→| ניתוח משולב |, ואת חלון הניתוח המשולב הנוכחי יופיע. אם לא צפית בחלון בעבר, החלון שנפתח לא ייצג מעגל בכלל.

רק חלון ניתוח קומבינציוני אחד קיים בתוך Logisim, לא משנה כמה פרויקטים פתוחים. אין דרך לפתוח שני חלונות ניתוח שונים בבת אחת.

דרך תפריט הפרויקט

מחלון לעריכת מעגלים, ניתן גם לבקש מלוגיסים לנתח את המעגל הנוכחי על ידי בחירה האפשרות Analyze Circuit מהתפריט | פרויקט |→| נתח מעגל |. לפני שלוגיסים יפתח את החלון, הוא יחשב ביטויים בוליאניים וטבלת אמת המתאימים למעגל וממקמים אותם שם לצפייה.

כדי שהניתוח יצליח, כל קלט חייב להיות מחובר לפין קלט, וכל פלט חייב להיות מחובר לפין פלט. Logisim תנתח רק מעגלים עם שמונה לכל היותר מכל סוג, וכולם צריכים להיות סיכות יחיד. אחרת, תראה הודעת שגיאה והחלון לא ייפתח.

בבניית ביטויים בוליאניים המתאימים למעגל, לוגיסים ינסה תחילה לבנות את a ביטויים בוליאניים המתאימים בדיוק לשערים במעגל. אבל אם המעגל משתמש באיזה שער רכיבים (כגון מרובה), או אם המעגל בעומק של יותר מ-100 רמות (לא סביר), אז הוא יקפוץ מעלה תיבת דו-שיח שאומרת לך שגזירת ביטויים בוליאניים הייתה בלתי אפשרית, ו-Logisim יגזור במקום זאת הביטויים המבוססים על טבלת האמת, אשר ייגזרו על ידי ניסיון שקט של כל שילוב של תשומות ו קריאת הפלטים המתקבלים.

לאחר ניתוח מעגל, אין קשר מתמשך בין המעגל לבין ה-קומבינצית חלון ניתוח. כלומר, שינויים במעגל לא יבואו לידי ביטוי בחלון, וגם שינויים ב- ביטויים בוליאניים ו/או טבלת אמת בחלון באים לידי ביטוי במעגל. כמובן, אתה תמיד חופשי לנתח שוב מעגל; וכפי שנראה מאוחר יותר, אתה יכול להחליף את המעגל במעגל מתאים למה שמופיע בחלון הניתוח המשולב.

מגבלות

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

לוגיסים תבצע שינוי במעגל המקורי שהוא אולי בלתי צפוי: מערכת הניתוח הקומבינציונלי דורש שלכל קלט ופלט יהיה שם ייחודי התואם את הכללים עבור מזהי Java. (בערך, כל תו חייב אות או ספרה, והתו הראשון חייב להיות אות. ללא רווחים מותר!) הוא מנסה להשתמש בתוויות הקיימות של הפינים, ולהשתמש ברשימת ברירות מחדל אם לא קיימת תווית. אם התווית הקיימת אינה עוקבת אחר כלל ה-Java-מזהה, ואז Logisim תנסה לחלץ ממנו שם חוקי התווית אם אפשר בכלל.

אגב, סדר התשומות בטבלת האמת יתאים לסידור מלמעלה למטה במקור מעגל, כאשר הקשרים נשברים בסדר שמאל-ימין. (כך גם לגבי סדר התפוקות.)

הבא: עריכת טבלת האמת.