הועלה לאתר:  
מספר עמודים: 120
הורדת המסמך בגרסה להדפסהלהורדת המסמך בשלמותו

מבוא לאימות תוכנה

ספר אלקטרוני מאת: ניר אדר

6.5.5.4. פעולת not

נתון BDD לייצור פונקציה plot:$f\left( {\bar v} \right)$ ורוצים לבנות BDD עבור plot:$g\left( {\bar v} \right) = \neg f\left( {\bar v} \right)$.

  • נבצע זאת על ידי החלפה בין צמתי הקצה: plot:$0 \to 1,1 \to 0$.
  • דרך נוספת: שימוש ב-APPLY על plot:$f \to false$.



תגיות המסמך:

לפרק הקודם6.5.5.3. פעולות בוליאניות על BDD (Apply)
לפרק הבא6.5.6. יצוג מבנה קריפקה בעזרת BDD
אין תגובות!
שיתוף:
| עוד